Tamara Rezk - POPL 2023

Registered user since Wed 28 Jan 2015

Name:Tamara Rezk

Country:France

Affiliation:INRIA

Research interests:Security, Programming Languages, Verification

Contributions

PriSC 2023	Committee Member in Steering Committee within the PriSC 2023-track
VMCAI 2023	Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Show activities from other conferences