Types and trace effects for object orientationSKALKA, Christian.Higher-order and symbolic computation (Print). 2008, Vol 21, Num 3, pp 239-282, issn 1388-3690, 44 p.Article

Downgrading policies and relaxed noninterferencePENG LI; ZDANCEWIC, Steve.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 158-170, issn 1523-2867, 13 p.Conference Paper

Abstract non-interference: Parameterizing non-interference by abstract interpretationGIACOBAZZI, Roberto; MASTROENI, Isabella.ACM SIGPLAN notices. 2004, Vol 39, Num 1, pp 186-197, issn 1523-2867, 12 p.Conference Paper

Decidability and proof systems for language-based noninterference relationsDAM, Mads.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 67-78, issn 1523-2867, 12 p.Conference Paper

Programming Languages and Program Analysis for Security : A Three-Year RetrospectivePISTOIA, Marco; ERLINGSSON, Ulfar.ACM SIGPLAN notices. 2008, Vol 43, Num 12, pp 32-39, issn 1523-2867, 8 p.Article

Instruction-level security analysis for information flow in stack-based assembly languagesDE FRANCESCO, Nicoletta; MARTINI, Luca.Information and computation (Print). 2007, Vol 205, Num 9, pp 1334-1370, issn 0890-5401, 37 p.Article

Integration of a security type system into a program logicHÄHNLE, Reiner; JING PAN; RÜMMER, Philipp et al.Theoretical computer science. 2008, Vol 402, Num 2-3, pp 172-189, issn 0304-3975, 18 p.Article