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 a researcher in the INRIA project INDES (INformatique Diffuse Et Sécurisée). I am also part of the Secure Distributed Computations and their Proofs project at the INRIA-Microsoft Research Joint Lab. My research interests include:

• Security in web applications
• Programming abstractions for distributed computations
• Provable cryptography
• Program verification
• Compilers, program transformations

Service in Program Committees:

• 2012: Bytecode, PLAS (co-chair)
• 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)