@article{hopsemantics,
author = {Gerard Boudol and Zhengqin Luo and Tamara Rezk and Manuel Serrano},
title = {Reasoning about Web Applications: An Operational Semantics for Hop},
journal = {ACM Transanctions on Programming Languages and Systems},
volume = {x},
number = {x},
year = {2012}
}
A Certified Lightweight Non-Interference Java Bytecode Verifier
@article{jvmlong,
author = {Gilles Barthe and David Pichardie and Tamara Rezk},
title = {A Certified Lightweight Non-Interference Java Bytecode Verifier},
journal = {Mathematical Structures in Computer Science},
volume = {x},
number = {x},
year = {2012}
}
Secure Information Flow by Self Composition
In the Special Issue of MSCS of PLID, December 2011
@article{selfcomposition,
author = {Gilles Barthe and Pedro R. D'Argenio and Tamara Rezk},
title = {Secure information flow by self-composition},
journal = {Mathematical Structures in Computer Science},
volume = {21},
number = {6},
year = {2011},
pages = {1207-1252}
}
Security of Multithreaded Programs by Compilation
In ACM TISSEC, July 2010
@article{securemultithreaded,
author = {Gilles Barthe and Tamara Rezk and Alejandro Russo and Andrei Sabelfeld},
title = {Security of multithreaded programs by compilation},
journal = {ACM Transactions on Information and System Security},
volume = {13},
number = {3},
year = {2010}
}
Certificate Translation for Optimizing Compilers
In ACM TOPLAS, June 2009
@article{certificatetranslation,
author = {Gilles Barthe and Benjamin Gr{\'e}goire and C{\'e}sar Kunz and Tamara Rezk},
title = {Certificate Translation for Optimizing Compilers},
journal = {ACM Transanctions on Programming Languages and Systems},
volume = {31},
number = {5},
year = {2009}
}
Security Types Preserving Compilation
In the International Journal of Computer Languages, Systems and Structures, September 2007
@ARTICLE{preservingtypes,
AUTHOR = {Gilles Barthe and Tamara Rezk and Amitabh Basu},
TITLE = {Security Types Preserving Compilation},
YEAR = {2005},
journal = {Computer Languages, Systems {\&} Structures},
volume = {33},
number = {2},
year = {2007},
pages = {35-59}
}
Theses
Tamara Rezk.
Verification of Confidentiality Policies for Mobile Code
PhD Thesis. Supervisor: Gilles Barthe
INRIA Sophia Antipolis and University of Nice Sophia Antipolis. France, 10/11/2006.
Tamara Rezk.
Construction and Verification of Programs that manipulate pointers
Final Work to obtain the degree of Licenciada en Ciencias de la Computacion (Master equivalence given by University of Nice, 2003)
FaMAF, Universidad Nacional de Cordoba. Argentina, 20/02/2002
.
