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