| 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 | 812 | 2016 |
| 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 | 812 | 2016 |
| 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 | 812 | 2016 |
| Dependent types and multi-monadic effects in F N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ... ACM SIGPLAN Notices 51 (1), 256-270, 2016 | 499 | 2016 |
| EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation N Chandran, D Gupta, A Rastogi, R Sharma, S Tripathi IACR Cryptology ePrint Archive 2017/1109, 2017 | 202* | 2017 |
| Wysteria: A programming language for generic, mixed-mode multiparty computations A Rastogi, MA Hammer, M Hicks Security and Privacy (SP), 2014 IEEE Symposium on, 655-670, 2014 | 196 | 2014 |
| Verified low-level programming embedded in F J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ... Proceedings of the ACM on Programming Languages 1 (ICFP), 17, 2017 | 178 | 2017 |
| Safe & efficient gradual typing for TypeScript A Rastogi, N Swamy, C Fournet, G Bierman, P Vekris ACM SIGPLAN Notices 50 (1), 167-180, 2015 | 172 | 2015 |
| Implementing and proving the TLS 1.3 record layer A Delignat-Lavaud, C Fournet, M Kohlweiss, J Protzenko, A Rastogi, ... Security and Privacy (SP), 2017 IEEE Symposium on, 463-482, 2017 | 110 | 2017 |
| Implementing and proving the TLS 1.3 record layer A Delignat-Lavaud, C Fournet, M Kohlweiss, J Protzenko, A Rastogi, ... Security and Privacy (SP), 2017 IEEE Symposium on, 463-482, 2017 | 110 | 2017 |
| The ins and outs of gradual type inference A Rastogi, A Chaudhuri, B Hosmer ACM SIGPLAN Notices 47 (1), 481-494, 2012 | 105 | 2012 |
| Everest: Towards a Verified, Drop-in Replacement of HTTPS K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ... LIPIcs-Leibniz International Proceedings in Informatics 71, 2017 | 98 | 2017 |
| Gradual typing embedded securely in JavaScript N Swamy, C Fournet, A Rastogi, K Bhargavan, J Chen, PY Strub, ... Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014 | 91 | 2014 |
| Dijkstra monads for free D Ahman, C Hriţcu, K Maillard, G Martínez, G Plotkin, J Protzenko, ... ACM SIGPLAN Notices 52 (1), 515-529, 2017 | 82 | 2017 |
| Knowledge inference for optimizing secure multi-party computation A Rastogi, P Mardziel, M Hicks, MA Hammer Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013 | 36 | 2013 |
| Recalling a witness: foundations and applications of monotonic state D Ahman, C Fournet, C Hriţcu, K Maillard, A Rastogi, N Swamy Proceedings of the ACM on Programming Languages 2 (POPL), 65, 2017 | 24 | 2017 |
| Recalling a Witness D Ahman, C Fournet, C HRIŢCU, K Maillard, A Rastogi, N Swamy arXiv preprint arXiv:1707.02466, 2017 | 24* | 2017 |
| A monadic framework for relational verification: Applied to information security, program equivalence, and optimizations N Grimm, K Maillard, C Fournet, C Hriţcu, M Maffei, J Protzenko, ... Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 23 | 2018 |
| Verified Low-Level Programming Embedded in F K Bhargavan, A Delignat-Lavaud, C Fournet, C Hritcu, J Protzenko, ... arXiv preprint arXiv:1703.00053, 2017 | 12 | 2017 |
| WYS*: A Verified Language Extension for Secure Multi-party Computations A Rastogi, N Swamy, M Hicks arXiv preprint arXiv:1711.06467, 2017 | 8* | 2017 |
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
