Tamara Rezk
AuthID: R-00G-VX1
1
TITLE: Mashic compiler: Mashup sandboxing based on inter-frame communication
AUTHORS: Zhengqin Q Luo; Jose Fragoso Santos; Ana Almeida Matos ; Tamara Rezk;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPUTER SECURITY, VOLUME: 24, ISSUE: 1
AUTHORS: Zhengqin Q Luo; Jose Fragoso Santos; Ana Almeida Matos ; Tamara Rezk;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPUTER SECURITY, VOLUME: 24, ISSUE: 1
2
TITLE: Modular Monitor Extensions for Information Flow Security in JavaScript
AUTHORS: José Fragoso Santos; Tamara Rezk; Ana Almeida Matos ;
PUBLISHED: 2015, SOURCE: 10th International Symposium on Trustworthy Global Computing, TGC 2015 in Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, VOLUME: 9533
AUTHORS: José Fragoso Santos; Tamara Rezk; Ana Almeida Matos ;
PUBLISHED: 2015, SOURCE: 10th International Symposium on Trustworthy Global Computing, TGC 2015 in Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, VOLUME: 9533
3
TITLE: Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012
AUTHORS: Sergio Maffeis; Tamara Rezk;
PUBLISHED: 2012, SOURCE: PLAS
AUTHORS: Sergio Maffeis; Tamara Rezk;
PUBLISHED: 2012, SOURCE: PLAS
INDEXED IN: 
DBLP
DBLP4
TITLE: Secure information flow by self-composition
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2011, SOURCE: Math. Struct. Comput. Sci., VOLUME: 21, ISSUE: 6
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2011, SOURCE: Math. Struct. Comput. Sci., VOLUME: 21, ISSUE: 6
INDEXED IN: DBLP
DBLP5
TITLE: Robustness Guarantees for Anonymity
AUTHORS: Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi;
PUBLISHED: 2010, SOURCE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
AUTHORS: Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi;
PUBLISHED: 2010, SOURCE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
INDEXED IN: DBLP
DBLP6
TITLE: Security of multithreaded programs by compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2010, SOURCE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, ISSUE: 3
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2010, SOURCE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, ISSUE: 3
INDEXED IN: DBLP
DBLP7
TITLE: Certificate translation for optimizing compilers
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2009, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 31, ISSUE: 5
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLISHED: 2009, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 31, ISSUE: 5
INDEXED IN: DBLP
DBLP8
TITLE: Tractable Enforcement of Declassification Policies
AUTHORS: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLISHED: 2008, SOURCE: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008
AUTHORS: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLISHED: 2008, SOURCE: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008
INDEXED IN: DBLP
DBLP9
TITLE: Security of Multithreaded Programs by Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, VOLUME: 4734
AUTHORS: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, VOLUME: 4734
INDEXED IN: DBLP
DBLP10
TITLE: Security types preserving compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLISHED: 2007, SOURCE: Comput. Lang. Syst. Struct., VOLUME: 33, ISSUE: 2
AUTHORS: Gilles Barthe; Tamara Rezk; Amitabh Basu;
PUBLISHED: 2007, SOURCE: Comput. Lang. Syst. Struct., VOLUME: 33, ISSUE: 2
INDEXED IN: DBLP
DBLP