
@article {631,
	title = {Automatic Detection and Demonstrator Generation for Information Flow Leaks in Object-Oriented Programs},
	journal = {Computers \& Security},
	volume = {67},
	year = {2017},
	author = {Quoc Huy Do and Richard Bubel and Reiner H{\"a}hnle}
}
@conference {627,
	title = {Monitoring Hyperproperties},
	booktitle = {Proceedings of the 17th International Conference on Runtime Verification (RV)},
	year = {2017},
	author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}
}
@conference {625,
	title = {WebPol: Fine-grained Information Flow Policies for Web Browsers},
	booktitle = {Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS)},
	year = {2017},
	author = {Abhishek Bichhawat and Vineet Rajani and Jinank Jain and Deepak Garg and Christian Hammer}
}
@conference {621,
	title = {Computing Specification-Sensitive Abstractions for Program Verification},
	booktitle = {Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA)},
	year = {2016},
	author = {Tianhai Liu and Shmuel Tyszberowicz and Mihai Herda and Bernhard Beckert and Daniel Grahl and Mana Taghdiri}
}
@conference {613,
	title = {On Improvements Of Low-Deterministic Security},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Joachim Breitner and J{\"u}rgen Graf and Martin Hecker and Martin Mohr and Gregor Snelling}
}
@conference {632,
	title = {Exploit Generation for Information Flow Leaks in Object-Oriented Programs},
	booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)},
	year = {2015},
	author = {Quoc Huy Do and Richard Bubel and Reiner H{\"a}hnle}
}
@conference {592,
	title = {Information Flow Control for Event Handling and the DOM in Web Browsers},
	booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Vineet Rajani and Abhishek Bichhawat and Deepak Gark and Christian Hammer}
}
@booklet {588,
	title = {Security in E-Voting},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Daniel Bruns and Huy Quoc Do and Simon Greiner and Mihai Herda and Martin Mohr and Enrico Scapin and Tomasz Truderung and Bernhard Beckert and Ralf K{\"u}sters and Heiko Mantel and Richard Gay}
}
@booklet {587,
	title = {Security in Web-Based Workflows},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Thomas Bauereiss and Abhishek Bichhawat and Iulia Bolosteanu and Peter Faymonville and Bernd Finkbeiner and Deepak Garg and Richard Gay and Sergey Grebenshchikov and Christian Hammer and Dieter Hutter and Ond{\v r}ej Kun{\v c}ar and Peter Lammich and Heiko Mantel and Christian M{\"u}ller and Andrei Popescu and Markus Rabe and Vineet Rajani and Helmut Seidl and Markus Tasch and Leander Tentrup}
}
@article {582,
	title = {Checking Probabilistic Noninterference Using JOANA},
	journal = {it - Information Technology},
	year = {2014},
	author = {Gregor Snelting and Dennis Giffhorn and J{\"u}rgen Graf and Christian Hammer and Martin Hecker and Martin Mohr and Daniel Wasserrab}
}
@conference {inp:BauereissHutter2014a,
	title = {Compatibility of Safety Properties and Possibilistic Information Flow Security in {MAKS}},
	booktitle = {Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC 2014)},
	year = {2014},
	author = {T. Bauereiss and D. Hutter}
}
@conference {inp:BichhawatRajaniGargHammer2014b,
	title = {Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis},
	booktitle = {Proceedings of the 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2014)},
	year = {2014},
	author = {A. Bichhawat and V. Rajani and D. Garg and C. Hammer}
}
@conference {inp:BichhawatRajaniGargHammer2014a,
	title = {Information Flow Control in WebKit{\textquoteright}s JavaScript Bytecode},
	booktitle = {Proceedings of the 3rd conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {A. Bichhawat and V. Rajani and D. Garg and C. Hammer}
}
@conference {599,
	title = {The KeY Platform for Verification and Analysis of Java Programs},
	booktitle = {Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments},
	year = {2014},
	author = {Wolfgang Ahrendt and Bernhard Beckert and Daniel Bruns and Richard Bubel and Christoph Gladisch and Sarah Grebing and Reiner H{\"a}hnle and Martin Henschel and Mihai Herda and Vladimir Klebanov and Wojciech Mostowski and Christoph Scheben and Peter~H. Schmitt and Mattias Ulbrich}
}
@conference {inp:BauereissHutter2014b,
	title = {Possibilistic information flow security of workflow management systems},
	booktitle = {Proceedings of the 1st International Workshop on Graphical Models for Security at ETAPS 2014 (GraMSec 2014)},
	year = {2014},
	author = {T. Bauereiss and D. Hutter}
}
@article {ar:PopescuHoelzl2014,
	title = {Probabilistic Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {A. Popescu and J. H{\"o}lzl}
}
@conference {inp:BauereissHutter2014c,
	title = {Security (hyper-)properties in workflow systems: From specification to verification},
	booktitle = {Electronic Proceedings of the Doctoral Symposium at the International Symposium on Engineering Secure Software and Systems (ESSoS-DS 2014)},
	year = {2014},
	note = {To appear.},
	author = {T. Bauereiss and D. Hutter}
}
@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}
}
@conference {inp:Hammer2013,
	title = {Efficient Algorithms for Control Closures},
	booktitle = {1st International Workshop on Interference and Dependence (ID 2013)},
	year = {2013},
	author = {C. Hammer}
}
@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: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:GrafHeckerMohr2013,
	title = {Using JOANA for Information Flow Control in Java Programs - A Practical Guide},
	booktitle = {Proceedings of the 6th Working Conference on Programming Languages (ATPS 2013)},
	year = {2013},
	author = {J. Graf and M. Hecker and M. Mohr}
}
@conference {inp:HadaschMuellerMaedche2012a,
	title = {Exploring Antecedent Environmental and Organizational Factors to User-Caused Information Leaks: A Qualitative Study},
	booktitle = {Proceedings of the 20th European Conference on Information Systems (ECIS 2012)},
	year = {2012},
	address = {Barcelona, Spain},
	author = {F. Hadasch and B. Mueller and A. Maedche}
}
@article {ar:PopescuHoelzl2012,
	title = {Possibilistic Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2012},
	author = {A. Popescu and J. H{\"o}lzl}
}
@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}
}
@conference {inp:HadaschMuellerMaedche2011a,
	title = {Leaking Confidential Information by Non-Malicious User Behaviour in Enterprise Systems - Design of an Empirical Study},
	booktitle = {Proceedings of the 6th Mediterranean Conference on Information Systems (MCIS 2011)},
	year = {2011},
	author = {F. Hadasch and B. Mueller and A. Maedche}
}
@conference {inp:Hammer2010a,
	title = {Experiences with PDG-based IFC},
	booktitle = {Proceedings of the 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010)},
	year = {2010},
	author = {C. Hammer}
}
