Cédric Fournet
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Authentication Protocols Security, Cryptography and Data Security, Advanced Malware Detection Techniques, User Authentication and Security Systems
Most-Cited Works
- → Mobile values, new names, and secure communication(2001)841 cited
- → Formal Verification of Smart Contracts(2016)610 cited
- → VC3: Trustworthy Data Analytics in the Cloud Using SGX(2015)594 cited
- → The reflexive CHAM and the join-calculus(1996)452 cited
- → A calculus of mobile agents(1996)423 cited
- Oblivious multi-party machine learning on trusted processors(2016)
- → Verified Reference Implementations of WS-Security Protocols(2006)309 cited
- → Dependent types and multi-monadic effects in F*(2016)281 cited
- → Modern concurrency abstractions for C#(2004)226 cited
- → Refinement types for secure implementations(2011)225 cited