@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 = {34},
number = {2},
year = {2012}
}
A Certified Lightweight Non-Interference Java Bytecode Verifier In MSCS, 2013
@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 (MSCS)},
volume = {23},
number = {5},
year = {2013}
}
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}
}