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 formal verification, engineering, and computer science.

ORCID

Top concepts

EngineeringComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisData SecurityInformation SecurityCryptographyFormal MethodsHardware Security

Publications per year

2004–2022

Publications

Secure information flow by self-composition

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

Program Checking, Engineering, Information Security +21

Secure information flow by self-composition

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

Program Checking, Engineering, Information Security +21

Secure information flow by self-composition

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

Engineering, Information Security, Verification +20

Non-interference for a JVM-like language

Gilles Barthe, Tamara Rezk · 2005 · 77 citations

Engineering, First Analysis, Verification +18

Preventing Timing Leaks Through Transactional Branching Instructions

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

Engineering, Information Security, Computer Architecture +22

1–5 of 26