Publications

Filters: Author is Tamara Rezk  [Clear All Filters]
2011
G. Barthe, D'Argenio, P. R., and Rezk, T., “Secure information flow by self-composition”, Mathematical Structures in Computer Science, vol. 21, no. 6, pp. 1207-1252, 2011.PDF icon paper-9.pdf (411.05 KB)
2004
G. Barthe, D'Argenio, P. R., and Rezk, T., “Secure Information Flow by Self-Composition”, in 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 2004, pp. 100-114.PDF icon paper-27.pdf (1.18 MB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054