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