POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Cédric Fournet

Not registered as user yet

Name: Cédric Fournet

Affiliation: Microsoft Research

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

Contributions

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

POPL 2018-profile
View general profile