معرفی
Tamara Rezk is a Researcher at INRIA, France's premier national research institute for computer science and applied mathematics, based at the Sophia Antipolis center. Her work bridges formal methods and practical security, with significant contributions to secure compilation and program analysis for mitigating hardware-level vulnerabilities.
Her research focuses on Security, Programming Languages, and Verification, specifically tackling Spectre-era side-channel attacks through constant-time programming foundations and abstract interpretation. She develops formal verification techniques for cryptographic implementations and explores type systems for relaxed noninterference policies, combining theoretical rigor with real-world security applications.
Analysis of her publications reveals a consistent trajectory toward hardware-aware secure compilation, where programming language techniques address microarchitectural threats. Her work emphasizes formal guarantees for constant-time execution and symbolic execution frameworks applicable to security-critical systems, influencing both academic research and industrial security practices.
Rezk actively contributes to the academic community as a program committee member for PLDI, POPL, and PriSC conferences, and organizes mentoring initiatives like PLMW (Programming Languages Mentoring Workshop), demonstrating commitment to community building and next-generation researcher development.
