Tamara Rezk - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Registered user since Wed 28 Jan 2015

Name:Tamara Rezk

Country:France

Affiliation:INRIA

Personal website: http://www-sop.inria.fr/members/Tamara.Rezk/

X (Twitter): https://x.com/TamaraRezk

Research interests:Security, Programming Languages, Verification

Contributions

2023

PriSC

Committee Member in Steering Committee within the PriSC 2023-track

VMCAI

Sound Symbolic Execution via Abstract Interpretation and its Application to Security

Show activities from other conferences

POPL 2023-profile
View general profile