Not registered as user yet

Name: Cédric Fournet

Affiliation: Microsoft Research

Personal website: http://research.microsoft.com/en-us/um/people/fournet/

POPL 2018 Activities

• Committee Member in Program Committee for PriSC 2018
• Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track in POPL 2018
• Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track in CPP 2018
• Author of Building Secure SGX Enclaves using F*, C/C++ and X64 within the PriSC 2018-track in PriSC 2018
• Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track in POPL 2018
• Show activities from other conferences