Edit Profile (opens in new tab) Fournet, Cédric Compute Distance To: Compute Author ID: fournet.cedric Published as: Fournet, Cédric; Fournet, Cedric; Fournet, C. more...less Documents Indexed: 45 Publications since 1997 1 Contribution as Editor Co-Authors: 47 Co-Authors with 46 Joint Publications 889 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Abadi, Martín 11 Bhargavan, Karthikeyan 9 Gordon, Andrew D. 8 Strub, Pierre-Yves 8 Swamy, Nikhil 7 Gonthier, Georges 5 Chen, Juan 4 Kohlweiss, Markulf 3 Blanchet, Bruno 3 Laneve, Cosimo 3 Rastogi, Aseem 3 Zanella Béguelin, Santiago 2 Barthe, Gilles 2 Bierman, Gavin M. 2 Corin, Ricardo 2 Delignat-Lavaud, Antoine 2 Maranget, Luc 2 Planul, Jérémy 2 Rémy, Didier 2 Yang, Jean 1 Adão, Pedro 1 Benton, Nick 1 Brzuska, Chris 1 Cardelli, Luca 1 Dagand, Pierre-Evariste 1 Danezis, George 1 Forest, Simon 1 Grégoire, Benjamin 1 Groth, Jens 1 Guts, Nataliya 1 Hoare, C. A. R. Tony 1 Hriţcu, Cătălin 1 Keller, Chantal 1 Kohbrok, Konrad 1 Levy, Jean-Jacques 1 Livshits, Benjamin 1 Maffeis, Sergio 1 Pironti, Alfredo 1 Pucella, Riccardo 1 Rajamani, Sriram K. 1 Rehof, Jakob 1 Rezk, Tamara 1 Schmitt, Alan 1 Tse, Stephen 1 Vekris, Panagiotis 1 Zappa Nardelli, Francesco 1 Zinzindohoue, Jean-Karim all top 5 Serials 3 Theoretical Computer Science 3 The Journal of Logic and Algebraic Programming 1 Information and Computation 1 Journal of Functional Programming 1 Journal of the ACM 1 Lecture Notes in Computer Science Fields 42 Computer science (68-XX) 18 Information and communication theory, circuits (94-XX) 5 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 42 Publications have been cited 405 times in 288 Documents Cited by ▼ Year ▼ Mobile values, new names, and secure communication. Zbl 1323.68398Abadi, Martín; Fournet, Cédric 96 2001 Automated verification of selected equivalences for security protocols. Zbl 1135.68007Blanchet, Bruno; Abadi, Martín; Fournet, Cédric 35 2008 The join calculus: A language for distributed mobile programming. Zbl 1065.68071Fournet, Cédric; Gonthier, Georges 28 2002 An asynchronous, distributed implementation of mobile ambients. Zbl 0998.68537Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan 18 2000 A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030Fournet, Cédric; Gonthier, Georges 17 1998 Square span programs with applications to succinct NIZK arguments. Zbl 1306.94042Danezis, George; Fournet, Cédric; Groth, Jens; Kohlweiss, Markulf 15 2014 A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088Fournet, Cédric; Gonthier, Georges 14 2005 Stuck-free conformance. Zbl 1103.68612Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob 13 2004 Private authentication. Zbl 1071.68006Abadi, Martín; Fournet, Cédric 12 2004 Secure distributed programming with value-dependent types. Zbl 1323.68229Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean 12 2011 Proving the TLS handshake secure (as it is). Zbl 1334.94060Bhargavan, Karthikeyan; Fournet, Cédric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zanella-Béguelin, Santiago 10 2014 Probabilistic relational verification for cryptographic implementations. Zbl 1284.68380Barthe, Gilles; Fournet, Cédric; Grégoire, Benjamin; Strub, Pierre-Yves; Swamy, Nikhil; Zanella-Béguelin, Santiago 10 2014 The applied pi calculus, mobile values, new names, and secure communication. Zbl 1426.68037Abadi, Martín; Blanchet, Bruno; Fournet, Cédric 10 2018 Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago 9 2016 Secure implementation of channel abstractions. Zbl 1009.68084Abadi, Martín; Fournet, Cédric; Gonthier, Georges 7 2002 Inheritance in the join calculus. Zbl 1035.03011Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 7 2003 Authentication primitives and their compilation. Zbl 1323.68178Abadi, Martín; Fournet, Cédric; Gonthier, Georges 7 2000 Secure distributed programming with value-dependent types. Zbl 1290.68033Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean 7 2013 A type discipline for authorization policies. Zbl 1108.68456Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio 6 2005 Verified interoperable implementations of security protocols. Zbl 1137.68323Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen 6 2007 Safe & efficient gradual typing for TypeScript. Zbl 1346.68049Rastogi, Aseem; Swamy, Nikhil; Fournet, Cédric; Bierman, Gavin; Vekris, Panagiotis 6 2015 Modular verification of security protocol code by typing. Zbl 1312.68052Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 5 2010 Cryptographically sound implementations for communicating processes (extended abstract). Zbl 1133.94342Adão, Pedro; Fournet, Cédric 5 2006 Secure enforcement for global process specifications. Zbl 1254.68177Planul, Jérémy; Corin, Ricardo; Fournet, Cédric 5 2009 Cryptographically sound implementations for typed information-flow security. Zbl 1295.94065Fournet, Cédric; Rezk, Tamara 4 2008 Modern concurrency abstractions for \(C^{\sharp}\). Zbl 1049.68754Benton, Nick; Cardelli, Luca; Fournet, Cédric 4 2002 TulaFale: a security tool for web services. Zbl 1104.68306Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo 4 2004 Fully abstract compilation to JavaScript. Zbl 1301.68100Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin 4 2013 Bisimulations in the join-calculus. Zbl 0989.68098Fournet, C.; Laneve, C. 4 2001 Just fast keying in the pi calculus. Zbl 1126.68382Abadi, Martín; Blanchet, Bruno; Fournet, Cédric 4 2004 Hiding names: Private authentication in the applied pi calculus. Zbl 1033.94557Fournet, Cédric; Abadi, Martín 3 2003 Computational secrecy by typing for the pi-calculus. Zbl 1168.68433Abadi, Martín; Corin, Ricardo; Fournet, Cédric 3 2006 A semantics for web services authentication. Zbl 1325.68140Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 2 2004 Secure implementation of channel abstractions. Zbl 0925.68140Abadi, Martin; Fournet, Cedric; Gonthier, Georges 2 1997 Stack inspection: theory and variants. Zbl 1323.68115Fournet, Cédric; Gordon, Andrew D. 2 2002 Gradual typing embedded securely in JavaScript. Zbl 1284.68108Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin 2 2014 State separation for code-based game-playing proofs. Zbl 1447.94022Brzuska, Chris; Delignat-Lavaud, Antoine; Fournet, Cédric; Kohbrok, Konrad; Kohlweiss, Markulf 2 2018 A top-down look at a secure message. Zbl 0983.94511Abadi, Martín; Fournet, Cédric; Gonthier, Georges 1 1999 Inheritance in the join calculus (extended abstract). Zbl 1044.68684Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 1 2000 Self-certification: bootstrapping certified typecheckers in F\(^\ast\) with Coq. Zbl 1321.68205Strub, Pierre-Yves; Swamy, Nikhil; Fournet, Cedric; Chen, Juan 1 2012 Compiling information-flow security to minimal trusted computing bases. Zbl 1326.68075Fournet, Cédric; Planul, Jérémy 1 2011 Principles and applications of refinement types. Zbl 1213.68188Gordon, Andrew D.; Fournet, Cédric 1 2010 The applied pi calculus, mobile values, new names, and secure communication. Zbl 1426.68037Abadi, Martín; Blanchet, Bruno; Fournet, Cédric 10 2018 State separation for code-based game-playing proofs. Zbl 1447.94022Brzuska, Chris; Delignat-Lavaud, Antoine; Fournet, Cédric; Kohbrok, Konrad; Kohlweiss, Markulf 2 2018 Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038Swamy, Nikhil; Hriţcu, Cătălin; Keller, Chantal; Rastogi, Aseem; Delignat-Lavaud, Antoine; Forest, Simon; Bhargavan, Karthikeyan; Fournet, Cédric; Strub, Pierre-Yves; Kohlweiss, Markulf; Zinzindohoue, Jean-Karim; Zanella-Béguelin, Santiago 9 2016 Safe & efficient gradual typing for TypeScript. Zbl 1346.68049Rastogi, Aseem; Swamy, Nikhil; Fournet, Cédric; Bierman, Gavin; Vekris, Panagiotis 6 2015 Square span programs with applications to succinct NIZK arguments. Zbl 1306.94042Danezis, George; Fournet, Cédric; Groth, Jens; Kohlweiss, Markulf 15 2014 Proving the TLS handshake secure (as it is). Zbl 1334.94060Bhargavan, Karthikeyan; Fournet, Cédric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zanella-Béguelin, Santiago 10 2014 Probabilistic relational verification for cryptographic implementations. Zbl 1284.68380Barthe, Gilles; Fournet, Cédric; Grégoire, Benjamin; Strub, Pierre-Yves; Swamy, Nikhil; Zanella-Béguelin, Santiago 10 2014 Gradual typing embedded securely in JavaScript. Zbl 1284.68108Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin 2 2014 Secure distributed programming with value-dependent types. Zbl 1290.68033Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean 7 2013 Fully abstract compilation to JavaScript. Zbl 1301.68100Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin 4 2013 Self-certification: bootstrapping certified typecheckers in F\(^\ast\) with Coq. Zbl 1321.68205Strub, Pierre-Yves; Swamy, Nikhil; Fournet, Cedric; Chen, Juan 1 2012 Secure distributed programming with value-dependent types. Zbl 1323.68229Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean 12 2011 Compiling information-flow security to minimal trusted computing bases. Zbl 1326.68075Fournet, Cédric; Planul, Jérémy 1 2011 Modular verification of security protocol code by typing. Zbl 1312.68052Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 5 2010 Principles and applications of refinement types. Zbl 1213.68188Gordon, Andrew D.; Fournet, Cédric 1 2010 Secure enforcement for global process specifications. Zbl 1254.68177Planul, Jérémy; Corin, Ricardo; Fournet, Cédric 5 2009 Automated verification of selected equivalences for security protocols. Zbl 1135.68007Blanchet, Bruno; Abadi, Martín; Fournet, Cédric 35 2008 Cryptographically sound implementations for typed information-flow security. Zbl 1295.94065Fournet, Cédric; Rezk, Tamara 4 2008 Verified interoperable implementations of security protocols. Zbl 1137.68323Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen 6 2007 Cryptographically sound implementations for communicating processes (extended abstract). Zbl 1133.94342Adão, Pedro; Fournet, Cédric 5 2006 Computational secrecy by typing for the pi-calculus. Zbl 1168.68433Abadi, Martín; Corin, Ricardo; Fournet, Cédric 3 2006 A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088Fournet, Cédric; Gonthier, Georges 14 2005 A type discipline for authorization policies. Zbl 1108.68456Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio 6 2005 Stuck-free conformance. Zbl 1103.68612Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob 13 2004 Private authentication. Zbl 1071.68006Abadi, Martín; Fournet, Cédric 12 2004 TulaFale: a security tool for web services. Zbl 1104.68306Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo 4 2004 Just fast keying in the pi calculus. Zbl 1126.68382Abadi, Martín; Blanchet, Bruno; Fournet, Cédric 4 2004 A semantics for web services authentication. Zbl 1325.68140Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 2 2004 Inheritance in the join calculus. Zbl 1035.03011Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 7 2003 Hiding names: Private authentication in the applied pi calculus. Zbl 1033.94557Fournet, Cédric; Abadi, Martín 3 2003 The join calculus: A language for distributed mobile programming. Zbl 1065.68071Fournet, Cédric; Gonthier, Georges 28 2002 Secure implementation of channel abstractions. Zbl 1009.68084Abadi, Martín; Fournet, Cédric; Gonthier, Georges 7 2002 Modern concurrency abstractions for \(C^{\sharp}\). Zbl 1049.68754Benton, Nick; Cardelli, Luca; Fournet, Cédric 4 2002 Stack inspection: theory and variants. Zbl 1323.68115Fournet, Cédric; Gordon, Andrew D. 2 2002 Mobile values, new names, and secure communication. Zbl 1323.68398Abadi, Martín; Fournet, Cédric 96 2001 Bisimulations in the join-calculus. Zbl 0989.68098Fournet, C.; Laneve, C. 4 2001 An asynchronous, distributed implementation of mobile ambients. Zbl 0998.68537Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan 18 2000 Authentication primitives and their compilation. Zbl 1323.68178Abadi, Martín; Fournet, Cédric; Gonthier, Georges 7 2000 Inheritance in the join calculus (extended abstract). Zbl 1044.68684Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 1 2000 A top-down look at a secure message. Zbl 0983.94511Abadi, Martín; Fournet, Cédric; Gonthier, Georges 1 1999 A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030Fournet, Cédric; Gonthier, Georges 17 1998 Secure implementation of channel abstractions. Zbl 0925.68140Abadi, Martin; Fournet, Cedric; Gonthier, Georges 2 1997 all cited Publications top 5 cited Publications all top 5 Cited by 496 Authors 15 Delaune, Stéphanie 10 Cortier, Véronique 10 Fournet, Cédric 9 Kremer, Steve 6 Dezani-Ciancaglini, Mariangiola 6 Padovani, Luca 6 Yoshida, Nobuko 5 Abadi, Martín 5 Cheval, Vincent 5 Lipmaa, Helger 5 Meadows, Catherine A. 5 Nestmann, Uwe 5 Parrow, Joachim 5 Pérez, Jorge A. 4 Borgström, Johannes 4 Bugliesi, Michele 4 Castellani, Ilaria 4 Focardi, Riccardo 4 Gordon, Andrew D. 4 Hennessy, Matthew C. B. 4 Hüttel, Hans 4 Jacquemard, Florent 4 Jager, Tibor 4 Laneve, Cosimo 4 Mitchell, John C. 4 Pous, Damien 4 Rathke, Julian 4 Sabel, David 4 Steffen, Martin 4 Tiu, Alwen Fernanto 4 Vieira, Hugo Torres 3 Abdolmaleki, Behzad 3 Barthe, Gilles 3 Basin, David A. 3 Bhargavan, Karthikeyan 3 Bonchi, Filippo 3 Boreale, Michele 3 Chiesa, Alessandro 3 Ciobâcă, Ştefan 3 Comon-Lundh, Hubert 3 Datta, Anupam 3 De Nicola, Rocco 3 Deng, Yuxin 3 Gadducci, Fabio 3 Gardner, Philippa Anne 3 Ghilezan, Silvia 3 Gorla, Daniele 3 Hirschkoff, Daniel 3 Honda, Kohei 3 Horne, Ross 3 Jeffrey, Alan S. A. 3 Johnsen, Einar Broch 3 Küsters, Ralf 3 Monreale, Giacoma Valentina 3 Pantović, Jovanka 3 Peters, Kirstin 3 Pugliese, Rosario 3 Ramanathan, Ajith 3 Rusinowitch, Michaël 3 Ryan, Mark Dermot 3 Sangiorgi, Davide 3 Schmidt-Schauß, Manfred 3 Siim, Janno 3 Stahl, Christian 3 Thiemann, Peter J. 3 Tromer, Eran 3 Zajac, Michal 2 Amadio, Roberto M. 2 Aubert, Clément 2 Baudet, Mathieu 2 Bengtson, Jesper 2 Berger, Martin J. 2 Bitansky, Nir 2 Blanchet, Bruno 2 Brodo, Linda 2 Brzuska, Chris 2 Bursuc, Sergiu 2 Caires, Luís 2 Capecchi, Sara 2 Cardelli, Luca 2 Chadha, Rohit 2 Chevalier, Yannick 2 Coppo, Mario 2 Crafa, Silvia 2 Debbabi, Mourad 2 Diemert, Denis 2 Dovland, Johan 2 Dowling, Benjamin 2 Dreier, Jannik 2 Fallah, Mehran S. 2 Fauzi, Prastudy Mungkas 2 Ferrari, Gian Luigi 2 Garg, Deepak 2 Godskesen, Jens Chr. 2 Gonthier, Georges 2 Hillston, Jane 2 Jakšić, Svetlana 2 Jiang, Ying 2 Johansen, Christian 2 Johansson, Magnus M. ...and 396 more Authors all top 5 Cited in 29 Serials 36 Theoretical Computer Science 25 Information and Computation 16 The Journal of Logic and Algebraic Programming 16 Journal of Logical and Algebraic Methods in Programming 14 Journal of Automated Reasoning 12 Formal Aspects of Computing 10 MSCS. Mathematical Structures in Computer Science 8 Journal of Cryptology 7 Science of Computer Programming 6 Formal Methods in System Design 6 Journal of Functional Programming 3 Acta Informatica 3 Distributed Computing 3 ACM Transactions on Computational Logic 2 Information Processing Letters 2 Logical Methods in Computer Science 1 Information Sciences 1 SIAM Journal on Computing 1 Synthese 1 Algorithmica 1 Tatra Mountains Mathematical Publications 1 Constraints 1 Nonlinear Dynamics 1 International Journal of Applied Mathematics and Computer Science 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Natural Computing 1 Computer Languages, Systems & Structures 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 12 Fields 259 Computer science (68-XX) 89 Information and communication theory, circuits (94-XX) 32 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year