Tamara Rezk
AuthID: R-00G-VX1
1
TÃTULO: High-Assurance Cryptography in the Spectre Era
AUTORES: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLICAÇÃO: 2021, FONTE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, VOLUME: 2021-May
AUTORES: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLICAÇÃO: 2021, FONTE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, VOLUME: 2021-May
2
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
3
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
4
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
DBLP5
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
DBLP6
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
DBLP7
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
DBLP8
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
DBLP9
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
DBLP10
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
DBLP