Tamara Rezk

Statistics

Publications

Citations

1.2K

H-Index

Active since

2004

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

IMDEA Software Institute

Madrid Institute for Advanced Studies

Centre Inria d'Université Côte d'Azur

Microsoft Research (United Kingdom)

Tamara Rezk is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and computer security.

ORCID

Publications per year

2004–2022

Publications

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 213 citations

Computing, Computer Science, Computer Security +11

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 169 citations

Computing, Computer Science, Computer Security +11

Secure information flow by self-composition

Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · Mathematical Structures in Computer Science · 2011 · 161 citations

Computing, Computer Science, Computer Security +11

Non-interference for a JVM-like language

Gilles Barthe, Tamara Rezk · 2005 · 77 citations

Computing, Computer Engineering, Computer Science +9

Preventing Timing Leaks Through Transactional Branching Instructions

Gilles Barthe, Tamara Rezk, Martijn Warnier · Electronic Notes in Theoretical Computer Science · 2006 · 67 citations · Full text

Computing, Computer Science, Compilers +13

1–5 of 26