C
Cédric Fournet
Researcher at Microsoft
Publications - 178
Citations - 13750
Cédric Fournet is an academic researcher from Microsoft. The author has contributed to research in topics: Cryptography & Cryptographic primitive. The author has an hindex of 63, co-authored 174 publications receiving 12785 citations. Previous affiliations of Cédric Fournet include French Institute for Research in Computer Science and Automation.
Papers
More filters
Proceedings ArticleDOI
Mobile values, new names, and secure communication
Martín Abadi,Cédric Fournet +1 more
TL;DR: A simple, general extension of the pi calculus with value passing, primitive functions, and equations among terms is introduced, and semantics and proof techniques for this extended language are developed and applied in reasoning about some security protocols.
Proceedings ArticleDOI
VC3: Trustworthy Data Analytics in the Cloud Using SGX
Felix Schuster,Manuel Costa,Cédric Fournet,Christos Gkantsidis,Marcus Peinado,Gloria Mainar-Ruiz,Mark Russinovich +6 more
TL;DR: VC3 is the first system that allows users to run distributed MapReduce computations in the cloud while keeping their code and data secret, and ensuring the correctness and completeness of their results.
Proceedings ArticleDOI
Formal Verification of Smart Contracts: Short Paper
Karthikeyan Bhargavan,Antoine Delignat-Lavaud,Cédric Fournet,Anitha Gollamudi,Georges Gonthier,Nadim Kobeissi,Natalia Kulatova,Aseem Rastogi,Thomas Sibut-Pinote,Nikhil Swamy,Santiago Zanella-Béguelin +10 more
TL;DR: This paper outlines a framework to analyze and verify both the runtime safety and the functional correctness of Ethereum contracts by translation to F*, a functional programming language aimed at program verification.
Proceedings ArticleDOI
The reflexive CHAM and the join-calculus
Cédric Fournet,Georges Gonthier +1 more
TL;DR: By adding reflexion to the chemical machine of Berry and Boudol, this work obtains a formal model of concurrency that is consistent with mobility and distribution and provides the foundations of a programming language with functional and object-oriented features.
Book ChapterDOI
A Calculus of Mobile Agents
TL;DR: This work introduces a calculus for mobile agents and gives its chemical semantics, with a precise definition for migration, failure, and failure detection, and gives the encoding of the distributed calculus into the join-calculus.