Hybrid Monitors for Concurrent Noninterference, 2015 IEEE 28th Computer Security Foundations Symposium, 2015. ,
DOI : 10.1109/CSF.2015.17
Termination-Insensitive Noninterference Leaks More Than Just a Bit, Proceedings of the European Symp. on Research in Computer Security: Computer Security, 2008. ,
DOI : 10.3233/JCS-1996-42-304
Tight Enforcement of Information-Release Policies for Dynamic Languages, 2009 22nd IEEE Computer Security Foundations Symposium, p.CSF, 2009. ,
DOI : 10.1109/CSF.2009.22
Ecient purely-dynamic information ow analysis, Proceedings of the Workshop on Programming Languages and Analysis for Security, 2009. ,
Information ow monitor inlining, Proceedings of the 23rd IEEE Security Foundations Symposium, 2010. ,
Proving program termination, Communications of the ACM, vol.54, issue.5, p.8898, 2011. ,
DOI : 10.1145/1941487.1941509
Partial evaluation and automatic program generation, 1993. ,
Automata-based condentiality monitoring, Asian Computing Science Conference, 2006. ,
Precise enforcement of progress-sensitive security, Proceedings of the 2012 ACM conference on Computer and communications security, CCS '12, p.2012, 2012. ,
DOI : 10.1145/2382196.2382289
Information-ow security for interactive programs, 2006. ,
Dynamic vs. static ow-sensitive security analysis, p.186199, 2010. ,
Language-based information-ow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, 2003. ,
Secure information ow in a multi-threaded imperative language, p.POPL, 1998. ,
A sound type system for secure ow analysis, Journal of computer security, vol.4, issue.2, p.167187, 1996. ,
Dynamic security labels and noninterference. In: Formal Aspects in Security and Trust, p.2740, 2005. ,