- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j6 |      | Gérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano: Reasoning about Web Applications: An Operational Semantics for HOP. ACM Trans. Program. Lang. Syst. 34(2): 10 (2012) |
| c16 | | Zhengqin Luo, Tamara Rezk: Mashic Compiler: Mashup Sandboxing Based on Inter-frame Communication. CSF 2012: 157-170 |
| 2011 | ||
| j5 | | Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure information flow by self-composition. Mathematical Structures in Computer Science 21(6): 1207-1252 (2011) |
| c15 | | Cédric Fournet, Jérémy Planul, Tamara Rezk: Information-flow types for homomorphic encryptions. ACM Conference on Computer and Communications Security 2011: 351-360 |
| c14 | | Zhengqin Luo, Tamara Rezk, Manuel Serrano: Automated Code Injection Prevention for Web Applications. TOSCA 2011: 186-204 |
| 2010 | ||
| j4 | | Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of multithreaded programs by compilation. ACM Trans. Inf. Syst. Secur. 13(3) (2010) |
| c13 | | Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk: Session Types for Access and Information Flow Control. CONCUR 2010: 237-252 |
| c12 | | Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi: Robustness Guarantees for Anonymity. CSF 2010: 91-106 |
| 2009 | ||
| j3 | | Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk: Certificate translation for optimizing compilers. ACM Trans. Program. Lang. Syst. 31(5) (2009) |
| c11 | | Cédric Fournet, Gurvan Le Guernic, Tamara Rezk: A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. ACM Conference on Computer and Communications Security 2009: 432-441 |
| 2008 | ||
| c10 | | Gilles Barthe, Salvador Cavadini, Tamara Rezk: Tractable Enforcement of Declassification Policies. CSF 2008: 83-97 |
| c9 | | Cédric Fournet, Tamara Rezk: Cryptographically sound implementations for typed information-flow security. POPL 2008: 323-335 |
| 2007 | ||
| j2 | | Gilles Barthe, Tamara Rezk, Amitabh Basu: Security types preserving compilation. Computer Languages, Systems & Structures 33(2): 35-59 (2007) |
| c8 | | Gilles Barthe, David Pichardie, Tamara Rezk: A Certified Lightweight Non-interference Java Bytecode Verifier. ESOP 2007: 125-140 |
| c7 | | Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of Multithreaded Programs by Compilation. ESORICS 2007: 2-18 |
| 2006 | ||
| j1 | | Gilles Barthe, Tamara Rezk, Martijn Warnier: Preventing Timing Leaks Through Transactional Branching Instructions. Electr. Notes Theor. Comput. Sci. 153(2): 33-55 (2006) |
| c6 | | Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk: Certificate Translation for Optimizing Compilers. SAS 2006: 301-317 |
| c5 | | Gilles Barthe, Tamara Rezk, David A. Naumann: Deriving an Information Flow Checker and Certifying Compiler for Java. IEEE Symposium on Security and Privacy 2006: 230-242 |
| 2005 | ||
| c4 | | Gilles Barthe, Tamara Rezk, Ando Saabas: Proof Obligations Preserving Compilation. Formal Aspects in Security and Trust 2005: 112-126 |
| c3 | | |
| 2004 | ||
| c2 | | Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk: Secure Information Flow by Self-Composition. CSFW 2004: 100-114 |
| c1 | | Gilles Barthe, Amitabh Basu, Tamara Rezk: Security Types Preserving Compilation: (Extended Abstract). VMCAI 2004: 2-15 |
Data released under the ODC-BY 1.0 license — See also our legal information page