×

zbMATH — the first resource for mathematics

Fournet, Cédric

Compute Distance To:
Author ID: fournet.cedric Recent zbMATH articles by "Fournet, Cédric"
Published as: Fournet, Cédric; Fournet, Cedric; Fournet, C.
Documents Indexed: 46 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 340 times in 245 Documents Cited by Year
Mobile values, new names, and secure communication. Zbl 1323.68398
Abadi, Martín; Fournet, Cédric
87
2001
Automated verification of selected equivalences for security protocols. Zbl 1135.68007
Blanchet, Bruno; Abadi, Martín; Fournet, Cédric
30
2008
The join calculus: A language for distributed mobile programming. Zbl 1065.68071
Fournet, Cédric; Gonthier, Georges
25
2002
A hierarchy of equivalences for asynchronous calculi. (Extended abstract). Zbl 0909.03030
Fournet, Cédric; Gonthier, Georges
17
1998
An asynchronous, distributed implementation of mobile ambients. Zbl 0998.68537
Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan
17
2000
A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088
Fournet, Cédric; Gonthier, Georges
13
2005
Secure distributed programming with value-dependent types. Zbl 1323.68229
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
12
2011
Private authentication. Zbl 1071.68006
Abadi, Martín; Fournet, Cédric
11
2004
Stuck-free conformance. Zbl 1103.68612
Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob
10
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
8
2014
Secure implementation of channel abstractions. Zbl 1009.68084
Abadi, Martín; Fournet, Cédric; Gonthier, Georges
7
2002
Square span programs with applications to succinct NIZK arguments. Zbl 1306.94042
Danezis, George; Fournet, Cédric; Groth, Jens; Kohlweiss, Markulf
7
2014
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
Verified interoperable implementations of security protocols. Zbl 1137.68323
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen
6
2007
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
6
2014
A type discipline for authorization policies. Zbl 1108.68456
Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio
6
2005
Cryptographically sound implementations for communicating processes (extended abstract). Zbl 1133.94342
Adão, Pedro; Fournet, Cédric
5
2006
Secure distributed programming with value-dependent types. Zbl 1290.68033
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
5
2013
Secure enforcement for global process specifications. Zbl 1254.68177
Planul, Jérémy; Corin, Ricardo; Fournet, Cédric
5
2009
Cryptographically sound implementations for typed information-flow security. Zbl 1295.94065
Fournet, Cédric; Rezk, Tamara
4
2008
Modular verification of security protocol code by typing. Zbl 1312.68052
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
4
2010
Bisimulations in the join-calculus. Zbl 0989.68098
Fournet, C.; Laneve, C.
4
2001
TulaFale: a security tool for web services. Zbl 1104.68306
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
4
2004
Modern concurrency abstractions for \(C^{\sharp}\). Zbl 1049.68754
Benton, Nick; Cardelli, Luca; Fournet, Cédric
4
2002
Hiding names: Private authentication in the applied pi calculus. Zbl 1033.94557
Fournet, Cédric; Abadi, Martín
3
2003
Computational secrecy by typing for the pi-calculus. Zbl 1168.68433
Abadi, Martín; Corin, Ricardo; Fournet, Cédric
3
2006
Fully abstract compilation to JavaScript. Zbl 1301.68100
Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin
3
2013
Safe & efficient gradual typing for TypeScript. Zbl 1346.68049
Rastogi, Aseem; Swamy, Nikhil; Fournet, Cédric; Bierman, Gavin; Vekris, Panagiotis
3
2015
Just fast keying in the pi calculus. Zbl 1126.68382
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
3
2004
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
2
2016
The applied pi calculus, mobile values, new names, and secure communication. Zbl 1426.68037
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
2
2018
Stack inspection: theory and variants. Zbl 1323.68115
Fournet, Cédric; Gordon, Andrew D.
2
2002
Secure implementation of channel abstractions. Zbl 0925.68140
Abadi, Martin; Fournet, Cedric; Gonthier, Georges
1
1997
Principles and applications of refinement types. Zbl 1213.68188
Gordon, Andrew D.; Fournet, Cédric
1
2010
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
Compiling information-flow security to minimal trusted computing bases. Zbl 1326.68075
Fournet, Cédric; Planul, Jérémy
1
2011
Gradual typing embedded securely in JavaScript. Zbl 1284.68108
Swamy, Nikhil; Fournet, Cedric; Rastogi, Aseem; Bhargavan, Karthikeyan; Chen, Juan; Strub, Pierre-Yves; Bierman, Gavin
1
2014
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 semantics for web services authentication. Zbl 1325.68140
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
1
2004
The applied pi calculus, mobile values, new names, and secure communication. Zbl 1426.68037
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
2
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
2
2016
Safe & efficient gradual typing for TypeScript. Zbl 1346.68049
Rastogi, Aseem; Swamy, Nikhil; Fournet, Cédric; Bierman, Gavin; Vekris, Panagiotis
3
2015
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
8
2014
Square span programs with applications to succinct NIZK arguments. Zbl 1306.94042
Danezis, George; Fournet, Cédric; Groth, Jens; Kohlweiss, Markulf
7
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
6
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
1
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
5
2013
Fully abstract compilation to JavaScript. Zbl 1301.68100
Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin
3
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
12
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.
4
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
30
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
13
2005
A type discipline for authorization policies. Zbl 1108.68456
Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio
6
2005
Private authentication. Zbl 1071.68006
Abadi, Martín; Fournet, Cédric
11
2004
Stuck-free conformance. Zbl 1103.68612
Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob
10
2004
TulaFale: a security tool for web services. Zbl 1104.68306
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
4
2004
Just fast keying in the pi calculus. Zbl 1126.68382
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
3
2004
A semantics for web services authentication. Zbl 1325.68140
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
1
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
25
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
87
2001
Bisimulations in the join-calculus. Zbl 0989.68098
Fournet, C.; Laneve, C.
4
2001
An asynchronous, distributed implementation of mobile ambients. Zbl 0998.68537
Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan
17
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
Secure implementation of channel abstractions. Zbl 0925.68140
Abadi, Martin; Fournet, Cedric; Gonthier, Georges
1
1997
all top 5

Cited by 402 Authors

13 Delaune, Stéphanie
10 Cortier, Véronique
9 Fournet, Cédric
9 Kremer, Steve
6 Dezani-Ciancaglini, Mariangiola
6 Padovani, Luca
6 Yoshida, Nobuko
5 Abadi, Martín
5 Parrow, Joachim
4 Borgström, Johannes
4 Bugliesi, Michele
4 Castellani, Ilaria
4 Cheval, Vincent
4 Focardi, Riccardo
4 Gordon, Andrew D.
4 Hennessy, Matthew C. B.
4 Jacquemard, Florent
4 Laneve, Cosimo
4 Mitchell, John C.
4 Nestmann, Uwe
4 Pérez, Jorge A.
4 Pous, Damien
4 Rathke, Julian
4 Steffen, Martin
4 Vieira, Hugo Torres
3 Barthe, Gilles
3 Basin, David A.
3 Bonchi, Filippo
3 Boreale, Michele
3 Ciobâcă, Ştefan
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 Hüttel, Hans
3 Jager, Tibor
3 Jeffrey, Alan S. A.
3 Johnsen, Einar Broch
3 Meadows, Catherine A.
3 Monreale, Giacoma Valentina
3 Pantović, Jovanka
3 Pugliese, Rosario
3 Ramanathan, Ajith
3 Rusinowitch, Michaël
3 Ryan, Mark Dermot
3 Sabel, David
3 Sangiorgi, Davide
3 Stahl, Christian
3 Tromer, Eran
2 Amadio, Roberto M.
2 Baudet, Mathieu
2 Bengtson, Jesper
2 Berger, Martin J.
2 Bhargavan, Karthikeyan
2 Blanchet, Bruno
2 Brodo, Linda
2 Bursuc, Sergiu
2 Caires, Luís
2 Capecchi, Sara
2 Cardelli, Luca
2 Chevalier, Yannick
2 Chiesa, Alessandro
2 Comon-Lundh, Hubert
2 Coppo, Mario
2 Crafa, Silvia
2 Debbabi, Mourad
2 Dovland, Johan
2 Dowling, Benjamin
2 Dreier, Jannik
2 Fallah, Mehran S.
2 Ferrari, Gian Luigi
2 Godskesen, Jens Chr.
2 Gonthier, Georges
2 Jakšić, Svetlana
2 Jiang, Ying
2 Johansen, Christian
2 Johansson, Magnus M.
2 Klay, Francis
2 Kobayashi, Naoki
2 Küsters, Ralf
2 Lafourcade, Pascal
2 Lanese, Ivan
2 Laud, Peeter
2 Lipmaa, Helger
2 Liu, Jia
2 Lochbihler, Andreas
2 Madiot, Jean-Marie
2 Owe, Olaf
2 Palamidessi, Catuscia
2 Perera, Roly
2 Peters, Kirstin
2 Pironti, Alfredo
2 Roscoe, Andrew William
2 Scedrov, Andre
2 Schmidt-Schauß, Manfred
...and 302 more Authors

Citations by Year