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