| Mobile values, new names, and secure communication M Abadi, C Fournet ACM Sigplan Notices 36 (3), 104-115, 2001 | 1232 | 2001 |
| The reflexive CHAM and the join-calculus C Fournet, G Gonthier Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996 | 872 | 1996 |
| VC3: Trustworthy data analytics in the cloud using SGX F Schuster, M Costa, C Fournet, C Gkantsidis, M Peinado, G Mainar-Ruiz, ... 2015 IEEE symposium on security and privacy, 38-54, 2015 | 759 | 2015 |
| Formal verification of smart contracts: Short paper K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ... Proceedings of the 2016 ACM workshop on programming languages and analysis …, 2016 | 659 | 2016 |
| A calculus of mobile agents C Fournet, G Gonthier, JJ Lévy, L Maranget, D Rémy CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996 | 634 | 1996 |
| Oblivious multi-party machine learning on trusted processors. O Ohrimenko, F Schuster, C Fournet, A Mehta, S Nowozin, K Vaswani, ... USENIX Security Symposium 16, 10-12, 2016 | 576 | 2016 |
| Automated verification of selected equivalences for security protocols B Blanchet, M Abadi, C Fournet The Journal of Logic and Algebraic Programming 75 (1), 3-51, 2008 | 496 | 2008 |
| Design and semantics of a decentralized authorization language M Becker, C Fournet, A Gordon 20th IEEE Computer Security Foundations Symposium (CSF'07), 3-15, 2007 | 452 | 2007 |
| Dependent types and multi-monadic effects in F N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ... Proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 386 | 2016 |
| A messy state of the union: Taming the composite state machines of TLS B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ... Communications of the ACM 60 (2), 99-107, 2017 | 374 | 2017 |
| Refinement types for secure implementations J Bengtson, K Bhargavan, C Fournet, AD Gordon, S Maffeis ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2), 1-45, 2011 | 311 | 2011 |
| Access Control Based on Execution History. M Abadi, C Fournet NDSS 3, 107-121, 2003 | 281 | 2003 |
| Triple handshakes and cookie cutters: Breaking and fixing authentication over TLS K Bhargavan, AD Lavaud, C Fournet, A Pironti, PY Strub 2014 IEEE Symposium on Security and Privacy, 98-113, 2014 | 263 | 2014 |
| Secure distributed programming with value-dependent types N Swamy, J Chen, C Fournet, PY Strub, K Bhargavan, J Yang ACM SIGPLAN Notices 46 (9), 266-278, 2011 | 262 | 2011 |
| Geppetto: Versatile verifiable computation C Costello, C Fournet, J Howell, M Kohlweiss, B Kreuter, M Naehrig, ... 2015 IEEE Symposium on Security and Privacy, 253-270, 2015 | 261 | 2015 |
| Modern concurrency abstractions for C# N Benton, L Cardelli, C Fournet ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (5), 769-804, 2004 | 261 | 2004 |
| The join calculus: A language for distributed mobile programming C Fournet, G Gonthier Applied Semantics: International Summer School, APPSEM 2000 Caminha …, 2002 | 241 | 2002 |
| Implementing TLS with verified cryptographic security K Bhargavan, C Fournet, M Kohlweiss, A Pironti, PY Strub 2013 IEEE Symposium on Security and Privacy, 445-459, 2013 | 235 | 2013 |
| Verified interoperable implementations of security protocols K Bhargavan, C Fournet, AD Gordon, S Tse ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-61, 2008 | 213 | 2008 |
| Verified interoperable implementations of security protocols K Bhargavan, C Fournet, AD Gordon, S Tse ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-61, 2008 | 213 | 2008 |
