Projet INDES, INRIA Sophia Antipolis-Méditerranée
Building Fermat F126
2004 Route des Lucioles
BP 93, 06902 Sophia Antipolis Cedex
Phone: (33) 4 97 15 53 37
Fax: (33) 4 92 38 50 29
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
Submit your work on secure compilation to PriSC@POPL !
Open Postdoc and Phd positions:
We are looking for outstanding candidates (starting any time in 2018) with an interest in web security and programming languages design and implementation.
To apply, send an email to me with your CV.
Recent Service in Program Committees:
PLDI (ERC) ,
Euro S&P ,
WWW (WPDAI track) ,
- 2017: SecDev , SEC@SAC , ESSoS , HotSpot@Etaps
Other Recent Academic Service: