
@conference {624,
	title = {Modular Verification of Information-Flow Security in Component-Based Systems},
	booktitle = {Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM)},
	year = {2017},
	author = {Simon Greiner and Martin Mohr and Bernhard Beckert}
}
@conference {633,
	title = {Taming Message-passing Communication in Compositional Reasoning about Confidentiality},
	booktitle = {Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS)},
	year = {2017},
	author = {Ximeng Li and Heiko Mantel and Markus Tasch}
}
@conference {634,
	title = {Verifying Security Policies in Multi-agent Workflows with Loops},
	booktitle = {Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS)},
	year = {2017},
	author = {Bernd Finkbeiner and Christian M{\"u}ller and Helmut Seidl and Eugen Zalinescu}
}
@conference {614,
	title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis},
	booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
	year = {2016},
	author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}
}
@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 {617,
	title = {sElect: A Lightweight Verifiable Remote Voting System},
	booktitle = {Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2016},
	author = {Ralf K{\"u}sters and Johannes M{\"u}ller and Enrico Scapin and Tomasz Truderung}
}
@conference {619,
	title = {SoK: Verifiability Notions for E-Voting Protocols},
	booktitle = {Proceedings of the 37th IEEE Symposium on Security and Privacy (S\&P)},
	year = {2016},
	author = {V{\'e}ronique Cortier and David Galindo and Ralf K{\"u}sters and Johannes M{\"u}ller and Tomasz Truderung}
}
@conference {593,
	title = {A Hybrid Approach for Proving Noninterference of Java Programs},
	booktitle = {Proceedings of the 28th IEEE Computer  Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Ralf K{\"u}sters and Tomasz Truderung and Bernhard Beckert and Daniel Bruns and Michael Kirsten and Martin Mohr}
}
@conference {585,
	title = {Hybrid Monitors for Concurrent Noninterference},
	booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)},
	year = {2015},
	author = {Aslan Askarov and Stephen Chong and Heiko Mantel}
}
@conference {602,
	title = {IccTA: Detecting Inter-Component Privacy Leaks in Android Apps},
	booktitle = {Proceedings of the 37th International Conference on Software Engineering (ICSE)},
	year = {2015},
	author = {Li Li and Alexandre Bartel and Tegawend{\'e} F. Bissyand{\'e} and Jacques Klein and Yves Le Traon and Steven Arzt and Siegfried Rasthofer and Eric Bodden and Damien Octeau and Patrick McDaniel}
}
@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}
}
@conference {591,
	title = {SHRIFT System-wide HybRid Information Flow Tracking},
	booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)},
	year = {2015},
	author = {Enrico Loval and Alexander Fromm and Martin Mohr and Alexander Pretschner}
}
@booklet {586,
	title = {Software Security for Mobile Devices},
	howpublished = {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 {594,
	title = {Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis},
	booktitle = {Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)},
	year = {2015},
	author = {Heiko Mantel and Markus M{\"u}ller-Olm and Matthias Perner and Alexander Wenner}
}
@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:ArztRasthoferFritzBoddenBarteKleinTraonOctreauMcDaniel2013,
	title = {FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps},
	booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)},
	year = {2014},
	author = {S. Arzt and S. Rasthofer and C. Fritz and E. Bodden and A. Barte and J. Klein and Y. Le Traon and D. Octeau and P. McDaniel}
}
@article {ar:GreweMantelSchoepe2014,
	title = {A Formalization of Assumptions and Guarantees for Compositional Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and H. Mantel and D. Schoepe}
}
@article {ar:GreweLuxMantelSauer2014b,
	title = {A Formalization of Declassification with WHAT-and-WHERE-Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and A. Lux and H. Mantel and J. Sauer}
}
@article {ar:GreweLuxMantelSauer2014a,
	title = {A Formalization of Strong Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and A. Lux and H. Mantel and J. Sauer}
}
@article {ar:BrunsMostowskiUlbrich2014,
	title = {Implementation-level Verification of Algorithms with {Ke{\k e}rn-.1emY}},
	journal = {Software Tools for Technology Transfer},
	year = {2014},
	note = {To appear.},
	publisher = {Springer},
	author = {D. Bruns and W. Mostowski and M. Ulbrich}
}
@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:MantelPernerSauer2014a,
	title = {Noninterference under Weak Memory Models},
	booktitle = {Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF 2014)},
	year = {2014},
	note = {To appear.},
	author = {H. Mantel and M. Perner and J. Sauer}
}
@conference {inp:ClarksonFinkbeinerKoleiniMicinskiRabeSanchet2014,
	title = {Temporal Logics for Hyperproperties},
	booktitle = {Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {M. R. Clarkson and B. Finkbeiner and M. Koleini and K. K. Micinski and M. N. Rabe and C. S{\'a}nchez}
}
@conference {inp:WuchnerMullerFischer2013,
	title = {{Compliance-Preserving Cloud Storage Federation Based on Data-Driven Usage Control}},
	booktitle = {Proceedings of the 5th International Conference on Cloud Computing Technology and Science (CloudCom 2013)},
	year = {2013},
	author = {T. W{\"u}chner and S. M{\"u}ller and R. Fischer}
}
@conference {inp:LammichMuellerOlmSeidlWenner2013,
	title = {Contextual Locking for Dynamic Pushdown Networks},
	booktitle = {Proceedings of the 20th International Symposium on Static Analysis (SAS 2013)},
	year = {2013},
	author = {P. Lammich and M. M{\"u}ller-Olm and H. Seidl and A. Wenner}
}
@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:KlebanovMantheyMuise2013,
	title = {{SAT}-based Analysis and Quantification of Information Flow in Programs},
	booktitle = {Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013)},
	year = {2013},
	author = {V. Klebanov and N. Manthey and C. Muise}
}
@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:KoepfMauborgneOchoa2012a,
	title = {Automatic Quantification of Cache Side-Channels},
	booktitle = {Proceedings of the 24th International Conference on Computer Aided Verification (CAV 2012)},
	year = {2012},
	author = {B. K{\"o}pf and L. Mauborgne and M. Ochoa}
}
@conference {inp:KatkalovFischerStenzelMoebiusReif2012,
	title = {Evaluation of Jif and Joana as information flow analyzers in a model-driven approach},
	booktitle = {Proceedings of 7th International Workshop on Data Privacy Management (DPM 2012)},
	year = {2012},
	author = {K. Katkalov and P. Fischer and K. Stenzel and N. Moebius and W. Reif}
}
@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}
}
@conference {inp:MannStarostin2012a,
	title = {A Framework for Static Detection of Privacy Leaks in Android Applications},
	booktitle = {Proceedings of the 27th Symposium on Applied Computing (SAC 2012)},
	year = {2012},
	author = {C. Mann and A. Starostin}
}
@conference {inp:LuxMantelPerner2012a,
	title = {Scheduler-Independent Declassification},
	booktitle = {Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012)},
	year = {2012},
	author = {A. Lux and H. Mantel and M. Perner}
}
@conference {inp:GayMantelSprick2011a,
	title = {Service Automata},
	booktitle = {Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011)},
	year = {2012},
	author = {R. Gay and H. Mantel and B. Sprick}
}
@conference {inp:MantelSandsSudbrock2011a,
	title = {{Assumptions and Guarantees for Compositional Noninterference}},
	booktitle = {Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011)},
	year = {2011},
	author = {H. Mantel and D. Sands and H. Sudbrock}
}
@conference {inp:GawlitzaLMSW2011,
	title = {Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation},
	booktitle = {Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)},
	year = {2011},
	author = {T. M. Gawlitza and P. Lammich and M. M{\"u}ller-Olm and H. Seidl and A. Wenner}
}
@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:SchwarzSVLM11,
	title = {Static Analysis of Interrupt-Driven Programs Synchronized via the Priority Ceiling Protocol},
	booktitle = {Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011)},
	year = {2011},
	author = {M. D. Schwarz and H. Seidl and V. Vojdani and P. Lammich and M. M{\"u}ller-Olm}
}
