Cédric Fournet

Cédric Fournet

Microsoft Research - - / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4392678
person_outline Cédric Fournet's MOST POPULAR ARTICLES
1-) Mobile values, new names, and secure communicationM Abadi, C FournetACM Sigplan Notices 36 (3), 104-115, 200112422001
2-) The reflexive CHAM and the join-calculusC Fournet, G GonthierProceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 19968861996
3-) VC3: Trustworthy data analytics in the cloud using SGXF Schuster, M Costa, C Fournet, C Gkantsidis, M Peinado, G Mainar-Ruiz, ...2015 IEEE symposium on security and privacy, 38-54, 20158032015
4-) Formal verification of smart contracts: Short paperK Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...Proceedings of the 2016 ACM workshop on programming languages and analysis …, 20167952016
5-) Oblivious {Multi-Party} machine learning on trusted processorsO Ohrimenko, F Schuster, C Fournet, A Mehta, S Nowozin, K Vaswani, ...25th USENIX Security Symposium (USENIX Security 16), 619-636, 20166702016