Tamara Rezk - ISMM 2020

Write a Blog >>

Tue 16 Jun 2020

co-located with PLDI 2020

Registered user since Wed 28 Jan 2015

Name:Tamara Rezk

Affiliation:Inria, France

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

Research interests:Security, Programming Languages, Verification

Contributions

2020

PLDI

Constant-Time Foundations for the New Spectre Era

Show activities from other conferences

PLDI 2020-profile
View general profile