Export 4 results:
[ Author
] Title Type Year Filters: First Letter Of Last Name is M [Clear All Filters]
, “Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis”, in Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), 2015.
, “Noninterference under Weak Memory Models”, in Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF 2014), 2014.
, “Assumptions and Guarantees for Compositional Noninterference”, in Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011), 2011.
, “A Framework for Static Detection of Privacy Leaks in Android Applications”, in Proceedings of the 27th Symposium on Applied Computing (SAC 2012), 2012.