Tamara Rezk Projet INDES, INRIA Sophia Antipolis-Méditerranée 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 an INRIA computer-science researcher. I work in the project INDES (INformatique Diffuse Et Sécurisée). My research interests include:

• Security in web applications
• Multitier languages
• Provable cryptography
• Compilers, program transformations
• Information flow security
• Program verification

Service in Program Committees:

• 2012: Bytecode, PLAS (co-chair), ARES, LatinCrypt
• 2010: VS-Theory, SAFA (co-chair), ACM SAC SVT
• 2009: PLAS, ACM SAC SVT (track PC chair), Bytecode, CIBSI, SAFA (co-chair)
• 2008: SAFA, ACM SAC SV
• 2007: Workshop on the Interplay between Programming Languages and Cryptography (co-chair)