
@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 {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 {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 {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 {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}
}
@article {ar:PopescuLammich2014,
	title = {Bounded-Deducibility Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {A. Popescu and P. Lammich}
}
@conference {inp:KanavLammichPopescu2014,
	title = {A Conference Management System with Verified Document Confidentiality},
	booktitle = {Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014)},
	year = {2014},
	note = {To appear.},
	author = {S. Kanav and P. Lammich and A. Popescu}
}
@conference {inp:Lovat2014,
	title = {Cross-Layer Data-Centric Usage Control},
	booktitle = {Proceedings of the International Symposium on Engineering Secure Software and Systems - Doctoral Symposium (ESSoS 2014))},
	year = {2014},
	note = {To appear.},
	author = {E. Lovat}
}
@conference {inp:RasthoferArztLovatBodden2014,
	title = {DROIDFORCE: Enforcing Complex, Data-Centric, System-Wide Policies in Android},
	booktitle = {Proceedings of the 9th International IEEE Conference on Availability, Reliability and Security (ARES 2014)},
	year = {2014},
	note = {To appear.},
	author = {S. Rasthofer and S. Arzt and E. Lovat and E. Bodden}
}
@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: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}
}
@conference {inp:LovatOudinetPretschner2014a,
	title = {On Quantitative Dynamic Data Flow Tracking},
	booktitle = {Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (CODASPY 2014)},
	year = {2014},
	author = {E. Lovat and J. Oudinet and A. Pretschner}
}
@article {ar:RabeLammichPopescu2014,
	title = {A shallow embedding of HyperCTL},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {M. N. Rabe and P. Lammich and A. Popescu}
}
@conference {inp:LovatKelbert2014,
	title = {{Structure Matters - A new Approach for Data flow Tracking}},
	booktitle = {Proceedings of the 4th International Workshop on Data Usage Management (DUMA 2014)},
	year = {2014},
	note = {To appear.},
	author = {E. Lovat and F. Kelbert}
}
@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: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:AccorsiLehmann2012a,
	title = {Automatic Information Flow Analysis of Business Process Models},
	booktitle = {10th International Conference on Business Process Management (BPM 2012)},
	year = {2012},
	author = {R. Accorsi and A. Lehmann}
}
@conference {inp:LehmannFahland2012b,
	title = {Information Flow Security for Business Process Models - just one click away},
	booktitle = {Proceedings of the 10th International Conference on Business Process Management - Demo Track (BPM 2012)},
	year = {2012},
	author = {A. Lehmann and D. Fahland}
}
@conference {inp:Lochbihler2012a,
	title = {Java and the Java Memory Model {\textendash} a Unified, Machine-Checked Formalisation},
	booktitle = {Proceedings of the ACM SIGPLAN 7th Workshop on Programming Languages and Systems (PLAS 2012)},
	year = {2012},
	author = {A. Lochbihler}
}
@conference {inp:LehmannLohmann2012a,
	title = {Model support for confidential service-oriented business processes},
	booktitle = {Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012)},
	year = {2012},
	address = {Bamberg, Germany},
	author = {A. Lehmann and N. Lohmann}
}
@conference {inp:LehmannLohmann2012b,
	title = {Modeling wizard for confidential Business Processes},
	booktitle = {1st Joint International Workshop on Security in Business Processes (SBP)},
	year = {2012},
	author = {A. Lehmann and N. Lohmann}
}
@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:PfeifferUngerTimmermannLehmann2012a,
	title = {Secure Information Flow Awareness for Smart Wireless {eHealth} Systems},
	booktitle = {Proceedings of 9th International Multi-Conference on Systems, Signals and Devices (SSD 2012)},
	year = {2012},
	author = {S. Pfeiffer and S. Unger and D. Timmermann and A. Lehmann}
}
@conference {inp:LehmannLohmannWolf2012a,
	title = {Stubborn Sets for Simple Linear Time Properties},
	booktitle = {Proceedings of 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2012)},
	year = {2012},
	author = {A. Lehmann and N. Lohmann and K. Wolf}
}
@conference {inp:LovatPretschner2011,
	title = {{Data-centric multi-layer usage control enforcement: a Social Network Example}},
	booktitle = {Proceedings of the 16th ACM symposium on Access control models and technologies (SACMAT 2011)},
	year = {2011},
	author = {E. Lovat and A. Pretschner}
}
@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:PretschnerLovatBuechler2011,
	title = {{Representation-Independent Data Usage Control}},
	booktitle = {6th International Workshop on Data Privacy Management (DPM 2011)},
	year = {2011},
	author = {A. Pretschner and E. Lovat and M. Buechler}
}
@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}
}
@conference {inp:WasserabLohner2010a,
	title = {Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing},
	booktitle = {6th International Verification Workshop (VERIFY 2010)},
	year = {2010},
	author = {D. Wasserrab and D. Lohner}
}
