Tamara Rezk Projet INDES, INRIA Sophia Antipolis-Méditerranée Building Fermat F126 2004 Route des Lucioles BP 93, 06902 Sophia Antipolis Cedex France Phone: (33) 4 97 15 53 37 Fax: (33) 4 92 38 50 29 Tamara.Rezk%%%at%%inria.fr

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

Recent Service in Program Committees:

• 2019: NDSS , PriSC@POPL , SSIoT , MADWeb , SecDev , Programming
• 2018: NDSS , PLDI , Euro S&P , WWW , PriSC@POPL , CSF, POST@Etaps , SEC@SAC , APLAS
• 2017: SecDev , SEC@SAC , ESSoS , HotSpot@Etaps

Other Recent Academic Service:

Interstices editorial board member (2016-present), POST steering committee (2017-present),
MFS@Pré-GDR Sécurité 2018 co-organizer, Programming 2018 co-organizer, PriSC@POPL 2018 co-organizer,
Euro S&P 2017 co-organizer, SCM@POPL 2017 co-organizer