Experience
Education
Bio
I am a computer-science researcher at INRIA. I work in the project INDES. My interests include:
Security and privacy in web applications
Information flow security
Secure compilation
Provable cryptography
Program verification and formal semantics