×
Author ID: fournet.cedric Recent zbMATH articles by "Fournet, Cédric"
Published as: Fournet, Cédric; Fournet, Cedric; Fournet, C.

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 533 times in 383 Documents Cited by Year
Mobile values, new names, and secure communication. Zbl 1323.68398
Abadi, Martín; Fournet, Cédric
114
2001
Automated verification of selected equivalences for security protocols. Zbl 1135.68007
Blanchet, Bruno; Abadi, Martín; Fournet, Cédric
47
2008
A calculus of mobile agents. Zbl 1514.68166
Fournet, Cédric; Gonthier, Georges; Levy, Jean-Jacques; Maranget, Luc; Rémy, Didier
43
1996
Square span programs with applications to succinct NIZK arguments. Zbl 1306.94042
Danezis, George; Fournet, Cédric; Groth, Jens; Kohlweiss, Markulf
31
2014
The join calculus: A language for distributed mobile programming. Zbl 1065.68071
Fournet, Cédric; Gonthier, Georges
30
2002
An asynchronous, distributed implementation of mobile ambients. Zbl 0998.68537
Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan
19
2000
The applied pi calculus, mobile values, new names, and secure communication. Zbl 1426.68037
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
17
2018
A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030
Fournet, Cédric; Gonthier, Georges
17
1998
A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088
Fournet, Cédric; Gonthier, Georges
15
2005
Private authentication. Zbl 1071.68006
Abadi, Martín; Fournet, Cédric
15
2004
Secure distributed programming with value-dependent types. Zbl 1323.68229
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
14
2011
Proving the TLS handshake secure (as it is). Zbl 1334.94060
Bhargavan, Karthikeyan; Fournet, Cédric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zanella-Béguelin, Santiago
14
2014
Stuck-free conformance. Zbl 1103.68612
Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob
13
2004
Probabilistic relational verification for cryptographic implementations. Zbl 1284.68380
Barthe, Gilles; Fournet, Cédric; Grégoire, Benjamin; Strub, Pierre-Yves; Swamy, Nikhil; Zanella-Béguelin, Santiago
12
2014
Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038
Swamy, 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
10
2016
A type discipline for authorization policies. Zbl 1108.68456
Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio
8
2005
Safe & efficient gradual typing for TypeScript. Zbl 1346.68049
Rastogi, Aseem; Swamy, Nikhil; Fournet, Cédric; Bierman, Gavin; Vekris, Panagiotis
8
2015
Secure distributed programming with value-dependent types. Zbl 1290.68033
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
8
2013
Inheritance in the join calculus. Zbl 1035.03011
Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier
7
2003
Authentication primitives and their compilation. Zbl 1323.68178
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2000
Secure implementation of channel abstractions. Zbl 1009.68084
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2002
Verified interoperable implementations of security protocols. Zbl 1137.68323
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen
6
2007
Implicit typing à la ML for the join-calculus. Zbl 1512.68057
Fournet, Cédric; Maranget, Luc; Laneve, Cosimo; Rémy, Didier
6
1997
Cryptographically sound implementations for communicating processes (extended abstract). Zbl 1133.94342
Adão, Pedro; Fournet, Cédric
5
2006
Bisimulations in the join-calculus. Zbl 0989.68098
Fournet, C.; Laneve, C.
5
2001
Secure enforcement for global process specifications. Zbl 1254.68177
Planul, Jérémy; Corin, Ricardo; Fournet, Cédric
5
2009
Modular verification of security protocol code by typing. Zbl 1312.68052
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
5
2010
TulaFale: a security tool for web services. Zbl 1104.68306
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
5
2004
Just fast keying in the pi calculus. Zbl 1126.68382
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
4
2004
Fully abstract compilation to JavaScript. Zbl 1301.68100
Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin
4
2013
Cryptographically sound implementations for typed information-flow security. Zbl 1295.94065
Fournet, Cédric; Rezk, Tamara
4
2008
Modern concurrency abstractions for \(C^{\sharp}\). Zbl 1049.68754
Benton, Nick; Cardelli, Luca; Fournet, Cédric
4
2002
Computational secrecy by typing for the pi-calculus. Zbl 1168.68433
Abadi, Martín; Corin, Ricardo; Fournet, Cédric
3
2006
Hiding names: Private authentication in the applied pi calculus. Zbl 1033.94557
Fournet, Cédric; Abadi, Martín
3
2003
State separation for code-based game-playing proofs. Zbl 1447.94022
Brzuska, Chris; Delignat-Lavaud, Antoine; Fournet, Cédric; Kohbrok, Konrad; Kohlweiss, Markulf
3
2018
Secure implementation of channel abstractions. Zbl 0925.68140
Abadi, Martin; Fournet, Cedric; Gonthier, Georges
2
1997
Stack inspection: theory and variants. Zbl 1323.68115
Fournet, Cédric; Gordon, Andrew D.
2
2002
A semantics for web services authentication. Zbl 1325.68140
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
2
2004
Gradual typing embedded securely in JavaScript. Zbl 1284.68108
Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin
2
2014
Key-schedule security for the TLS 1.3 standard. Zbl 1519.94067
Brzuska, Chris; Delignat-Lavaud, Antoine; Egger, Christoph; Fournet, Cédric; Kohbrok, Konrad; Kohlweiss, Markulf
2
2023
Principles and applications of refinement types. Zbl 1213.68188
Gordon, Andrew D.; Fournet, Cédric
1
2010
Compiling information-flow security to minimal trusted computing bases. Zbl 1326.68075
Fournet, Cédric; Planul, Jérémy
1
2011
Self-certification: bootstrapping certified typecheckers in F\(^\ast\) with Coq. Zbl 1321.68205
Strub, Pierre-Yves; Swamy, Nikhil; Fournet, Cedric; Chen, Juan
1
2012
A top-down look at a secure message. Zbl 0983.94511
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
1
1999
Inheritance in the join calculus (extended abstract). Zbl 1044.68684
Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier
1
2000
Key-schedule security for the TLS 1.3 standard. Zbl 1519.94067
Brzuska, Chris; Delignat-Lavaud, Antoine; Egger, Christoph; Fournet, Cédric; Kohbrok, Konrad; Kohlweiss, Markulf
2
2023
The applied pi calculus, mobile values, new names, and secure communication. Zbl 1426.68037
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
17
2018
State separation for code-based game-playing proofs. Zbl 1447.94022
Brzuska, Chris; Delignat-Lavaud, Antoine; Fournet, Cédric; Kohbrok, Konrad; Kohlweiss, Markulf
3
2018
Dependent types and multi-monadic effects in \(\mathrm{F}^*\). Zbl 1347.68038
Swamy, 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
10
2016
Safe & efficient gradual typing for TypeScript. Zbl 1346.68049
Rastogi, Aseem; Swamy, Nikhil; Fournet, Cédric; Bierman, Gavin; Vekris, Panagiotis
8
2015
Square span programs with applications to succinct NIZK arguments. Zbl 1306.94042
Danezis, George; Fournet, Cédric; Groth, Jens; Kohlweiss, Markulf
31
2014
Proving the TLS handshake secure (as it is). Zbl 1334.94060
Bhargavan, Karthikeyan; Fournet, Cédric; Kohlweiss, Markulf; Pironti, Alfredo; Strub, Pierre-Yves; Zanella-Béguelin, Santiago
14
2014
Probabilistic relational verification for cryptographic implementations. Zbl 1284.68380
Barthe, Gilles; Fournet, Cédric; Grégoire, Benjamin; Strub, Pierre-Yves; Swamy, Nikhil; Zanella-Béguelin, Santiago
12
2014
Gradual typing embedded securely in JavaScript. Zbl 1284.68108
Swamy, 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.68033
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
8
2013
Fully abstract compilation to JavaScript. Zbl 1301.68100
Fournet, 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.68205
Strub, Pierre-Yves; Swamy, Nikhil; Fournet, Cedric; Chen, Juan
1
2012
Secure distributed programming with value-dependent types. Zbl 1323.68229
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
14
2011
Compiling information-flow security to minimal trusted computing bases. Zbl 1326.68075
Fournet, Cédric; Planul, Jérémy
1
2011
Modular verification of security protocol code by typing. Zbl 1312.68052
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
5
2010
Principles and applications of refinement types. Zbl 1213.68188
Gordon, Andrew D.; Fournet, Cédric
1
2010
Secure enforcement for global process specifications. Zbl 1254.68177
Planul, Jérémy; Corin, Ricardo; Fournet, Cédric
5
2009
Automated verification of selected equivalences for security protocols. Zbl 1135.68007
Blanchet, Bruno; Abadi, Martín; Fournet, Cédric
47
2008
Cryptographically sound implementations for typed information-flow security. Zbl 1295.94065
Fournet, Cédric; Rezk, Tamara
4
2008
Verified interoperable implementations of security protocols. Zbl 1137.68323
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen
6
2007
Cryptographically sound implementations for communicating processes (extended abstract). Zbl 1133.94342
Adão, Pedro; Fournet, Cédric
5
2006
Computational secrecy by typing for the pi-calculus. Zbl 1168.68433
Abadi, Martín; Corin, Ricardo; Fournet, Cédric
3
2006
A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088
Fournet, Cédric; Gonthier, Georges
15
2005
A type discipline for authorization policies. Zbl 1108.68456
Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio
8
2005
Private authentication. Zbl 1071.68006
Abadi, Martín; Fournet, Cédric
15
2004
Stuck-free conformance. Zbl 1103.68612
Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob
13
2004
TulaFale: a security tool for web services. Zbl 1104.68306
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
5
2004
Just fast keying in the pi calculus. Zbl 1126.68382
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
4
2004
A semantics for web services authentication. Zbl 1325.68140
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
2
2004
Inheritance in the join calculus. Zbl 1035.03011
Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier
7
2003
Hiding names: Private authentication in the applied pi calculus. Zbl 1033.94557
Fournet, Cédric; Abadi, Martín
3
2003
The join calculus: A language for distributed mobile programming. Zbl 1065.68071
Fournet, Cédric; Gonthier, Georges
30
2002
Secure implementation of channel abstractions. Zbl 1009.68084
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2002
Modern concurrency abstractions for \(C^{\sharp}\). Zbl 1049.68754
Benton, Nick; Cardelli, Luca; Fournet, Cédric
4
2002
Stack inspection: theory and variants. Zbl 1323.68115
Fournet, Cédric; Gordon, Andrew D.
2
2002
Mobile values, new names, and secure communication. Zbl 1323.68398
Abadi, Martín; Fournet, Cédric
114
2001
Bisimulations in the join-calculus. Zbl 0989.68098
Fournet, C.; Laneve, C.
5
2001
An asynchronous, distributed implementation of mobile ambients. Zbl 0998.68537
Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan
19
2000
Authentication primitives and their compilation. Zbl 1323.68178
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2000
Inheritance in the join calculus (extended abstract). Zbl 1044.68684
Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier
1
2000
A top-down look at a secure message. Zbl 0983.94511
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
1
1999
A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030
Fournet, Cédric; Gonthier, Georges
17
1998
Implicit typing à la ML for the join-calculus. Zbl 1512.68057
Fournet, Cédric; Maranget, Luc; Laneve, Cosimo; Rémy, Didier
6
1997
Secure implementation of channel abstractions. Zbl 0925.68140
Abadi, Martin; Fournet, Cedric; Gonthier, Georges
2
1997
A calculus of mobile agents. Zbl 1514.68166
Fournet, Cédric; Gonthier, Georges; Levy, Jean-Jacques; Maranget, Luc; Rémy, Didier
43
1996
all top 5

Cited by 611 Authors

21 Delaune, Stéphanie
12 Cortier, Véronique
11 Fournet, Cédric
10 Kremer, Steve
9 Hennessy, Matthew C. B.
8 Lipmaa, Helger
7 Meadows, Catherine A.
7 Pugliese, Rosario
7 Yoshida, Nobuko
6 De Nicola, Rocco
6 Dezani-Ciancaglini, Mariangiola
6 Horne, Ross
6 Jager, Tibor
6 Nestmann, Uwe
6 Padovani, Luca
6 Parrow, Joachim
6 Pérez, Jorge A.
5 Abadi, Martín
5 Abdolmaleki, Behzad
5 Boreale, Michele
5 Borgström, Johannes
5 Cheval, Vincent
5 Gordon, Andrew D.
5 Pous, Damien
5 Siim, Janno
5 Zajac, Michal
4 Amadio, Roberto M.
4 Aubert, Clément
4 Bruni, Roberto
4 Bugliesi, Michele
4 Castellani, Ilaria
4 Comon-Lundh, Hubert
4 Degano, Pierpaolo
4 Deng, Yuxin
4 Focardi, Riccardo
4 Gorla, Daniele
4 Günther, Felix
4 Hüttel, Hans
4 Jacquemard, Florent
4 Kohlweiss, Markulf
4 Laneve, Cosimo
4 Mitchell, John C.
4 Montanari, Ugo G.
4 Peters, Kirstin
4 Rathke, Julian
4 Rusinowitch, Michaël
4 Ryan, Mark Dermot
4 Sabel, David
4 Steffen, Martin
4 Tiu, Alwen Fernanto
4 Vieira, Hugo Torres
3 Barthe, Gilles
3 Basin, David A.
3 Bhargavan, Karthikeyan
3 Blanchet, Bruno
3 Bodei, Chiara
3 Bonchi, Filippo
3 Brzuska, Chris
3 Caires, Luís
3 Cardelli, Luca
3 Chevalier, Yannick
3 Chiesa, Alessandro
3 Ciobâcă, Ştefan
3 Datta, Anupam
3 Fauzi, Prastudy Mungkas
3 Ferrari, Gian Luigi
3 Gadducci, Fabio
3 Gardner, Philippa Anne
3 Ghilezan, Silvia
3 Hermenegildo, Manuel V.
3 Hirschkoff, Daniel
3 Honda, Kohei
3 Jeffrey, Alan S. A.
3 Johansen, Christian
3 Johnsen, Einar Broch
3 Kobayashi, Naoki
3 Küsters, Ralf
3 Lanese, Ivan
3 Lochbihler, Andreas
3 Marshall, Andrew M.
3 Mauw, Sjouke
3 Merro, Massimo
3 Monreale, Giacoma Valentina
3 Morales, Jose Francisco
3 Palamidessi, Catuscia
3 Pantović, Jovanka
3 Priami, Corrado
3 Ramanathan, Ajith
3 Sangiorgi, Davide
3 Schmidt-Schauß, Manfred
3 Slamanig, Daniel
3 Stahl, Christian
3 Thiemann, Peter J.
3 Tromer, Eran
3 Victor, Björn
2 Alrahman, Yehia Abd
2 Åman Pohjola, Johannes
2 Baudet, Mathieu
2 Bengtson, Jesper
2 Berger, Martin J.
...and 511 more Authors

Citations by Year