she/her
Assistant Professor @ EURECOM
Interests: Formal methods & low-level security
Sorry, but the page you were trying to view does not exist.
dblp