Tamara Rezk

Tamara Rezk is a researcher in computer security at INRIA, with a focus on programming languages and formal verification. She actively contributes to academic communities through roles in program committees, organizing committees, and panels across conferences like PriSC, PLDI, VMCAI, ECOOP, and PLMW. Her work bridges theoretical and applied aspects of security, particularly addressing challenges in secure compilation and cryptography.

• Researcher at INRIA, France
• Active in secure compilation, cryptography, and programming languages
• Contributed to PriSC, PLDI, VMCAI, ECOOP, and PLMW conferences

Her research interests include:

• Security: Timing channels, Spectre attacks, constant-time programming
• Programming Languages: Type systems, language-based security
• Verification: Symbolic execution, abstract interpretation, formal methods

Her publications from 2017–2023 highlight advancements in secure compilation techniques, cryptographic implementations, and symbolic execution frameworks.