@booklet {586, title = {Software Security for Mobile Devices}, journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)}, year = {2015}, author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber} } @conference {inp:BlasumHavleLangensteinNemouchiSchmaltzStephanTverdyshevVerbeekWolff2014, title = {Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System}, booktitle = {Isabelle 2014 workshop at FloC 2014}, year = {2014}, author = {H. Blasum and O. Havle and B. Langenstein and Y. Nemouchi and J. Schmaltz and W. Stephan and S. Tverdyshew and F. Verbeek and B. Wolf} } @article {inp:PopescuHoelzlNipkow2013a, title = {Formal Verification of Language-Based Concurrent Noninterference}, journal = {J. Formalized Reasoning}, volume = {6}, number = {1}, year = {2013}, pages = {1-30}, author = {A. Popescu and J. H{\"o}lzl and T. Nipkow} } @conference {inp:PopescuHoelzlNipkow2013b, title = {Formalizing Probabilistic Noninterference}, booktitle = {Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013)}, year = {2013}, author = {A. Popescu and J. H{\"o}lzl and T. Nipkow} } @conference {inp:NordhoffMuellerOlmLammich2013, title = {{Iterable Forward Reachability Analysis of Monitor-DPNs}}, booktitle = {Proceedings of Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt)}, year = {2013}, author = {B. Nordhoff and M. M{\"u}ller-Olm and P. Lammich} } @conference {inp:GrafHeckerMohrNordhoff2013, title = {Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks}, booktitle = {1st International Workshop on Interference and Dependence (ID 2013)}, year = {2013}, author = {J. Graf and M. Hecker and M. Mohr and B. Nordhoff} } @conference {inp:PopescuHoelzlNipkow2013, title = {Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference}, booktitle = {Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)}, year = {2013}, author = {A. Popescu and J. H{\"o}lzl and T. Nipkow} } @conference {inp:PopescuHoelzlNipkow2012, title = {Proving Concurrent Noninterference}, booktitle = {Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012)}, year = {2012}, author = {A. Popescu and J. H{\"o}lzl and T. Nipkow} }