
@conference {628,
	title = {Comprehending Isabelle/HOL{\textquoteright}s Consistency},
	booktitle = {Proceedings of the 26th European Symposium on Programming (ESOP)},
	year = {2017},
	author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu}
}
@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 {610,
	title = {From Types to Sets by Local Type Definitions in Higher-Order Logic},
	booktitle = {Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)},
	year = {2016},
	author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu}
}
@conference {611,
	title = {Practical Detection of Entropy Loss in Pseudo-Random Number Generators},
	booktitle = {Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS)},
	year = {2016},
	author = {Felix D{\"o}rre and Vladimir Klebanov}
}
@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 {620,
	title = {Sound Probabilistic $\#$SAT with Projection},
	booktitle = {Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)},
	year = {2016},
	author = {Vladimir Klebanov and Alexander Weigl and J{\"o}rg Weisbarth}
}
@conference {618,
	title = {Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Huy Quoc Do and Eduard Kamburjan and Nathan Wasser}
}
@conference {623,
	title = {A Consistent Foundation for Isabelle/HOL},
	booktitle = {Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP)},
	year = {2015},
	author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu}
}
@conference {604,
	title = {A Fully Decentralized Data Usage Control Enforcement Infrastructure},
	booktitle = {Proceedings of the 13th International Conference on Applied Cryptography and Network Security},
	year = {2015},
	author = {Florian Kelbert and Alexander Pretschner}
}
@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 {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}
}
@conference {601,
	title = {Pseudo-Random Number Generator Verification: A Case Study},
	booktitle = {Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)},
	year = {2015},
	author = {Felix D{\"o}rre and Vladimir Klebanov}
}
@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 {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 {584,
	title = {Decentralized Distributed Data Usage Control},
	booktitle = {Proceedings of the 13th International Conference on Cryptology and Network Security (CANS 2014)},
	year = {2014},
	author = {Florian Kelbert and Alexander Pretschner}
}
@conference {inp:KuestersScapinTruderungGraf2014,
	title = {Extending and Applying a Framework for the Cryptographic Verification of Java Programs},
	booktitle = {Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014)},
	year = {2014},
	author = {R. K{\"u}sters and E. Scapin and T. Truderung and J. Graf},
	editor = {Mart{\'\i}n Abadi and Steve Kremer}
}
@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}
}
@conference {inp:KuestersTruderungVogt2014,
	title = {{Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking}},
	booktitle = {Proceedings of the 35th IEEE Symposium on Security and Privacy (S\&P 2014)},
	year = {2014},
	note = {To appear.},
	author = {R. K{\"u}sters and T. Truderung and A. Vogt}
}
@conference {inp:StenzelKatkalovBorekReif2014,
	title = {Formalizing Information Flow Control in a Model-Driven Approach},
	booktitle = {Proceedings of the Information Communication Technology-EurAsia (ICT-EurAsia 2014)},
	year = {2014},
	author = {K. Stenzel and K. Katkalov and M. Borek and W. Reif}
}
@conference {598,
	title = {Information Flow in Object-Oriented Software},
	booktitle = {Proceedings of the 24th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)},
	year = {2014},
	author = {Bernhard Beckert and Daniel Bruns and Vladimir Klebanov and Christoph Scheben and Peter H. Schmitt and Matthias Ulbrich}
}
@conference {inp:SeidlKovacs2014,
	title = {Interprocedural Information Flow Analysis of XML Processors},
	booktitle = {Proceedings of the 8th International Conference on Language and Automata Theory and Applications (LATA 2014)},
	year = {2014},
	author = {H. Seidl and M. Kov{\'a}cs}
}
@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}
}
@article {ar:Klebanov2014,
	title = {Precise Quantitative Information Flow Analysis {\textendash} A Symbolic Approach},
	journal = {Theoretical Computer Science},
	year = {2014},
	note = {In press.},
	author = {V. Klebanov}
}
@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: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:KeilThiemann2013a,
	title = {Efficient Dynamic Access Analysis Using {JavaScript} Proxies},
	booktitle = {Proceedings of the 9th Symposium on Dynamic Languages (DLS 2013)},
	year = {2013},
	author = {M. Keil and P. Thiemann}
}
@conference {inp:KuestersTruderung2013,
	title = {A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of {Java} Programs},
	booktitle = {Grande Region Security and Reliability Day 2013},
	year = {2013},
	note = {Extended Abstract},
	author = {R. K{\"u}sters and T. Truderung and B. Beckert and D. Bruns and J. Graf and C. Scheben}
}
@conference {inp:StenzelKatkalovBorekReif2013a,
	title = {Model-Driven Development of Information Flow-Secure Systems with IFlow},
	booktitle = {Proceedings of 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2013)},
	year = {2013},
	author = {K. Katkalov and K. Stenzel and M. Borek and W. Reif}
}
@article {inp:StenzelKatkalovBorekReif2013b,
	title = {Model-Driven Development of Information Flow-Secure Systems with IFlow},
	journal = {ASE Science Journal},
	volume = {2},
	number = {2},
	year = {2013},
	author = {K. Katkalov and K. Stenzel and M. Borek and W. Reif}
}
@conference {inp:KovacsSeidlFinkbeiner13,
	title = {Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties},
	booktitle = {Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS 2013)},
	year = {2013},
	author = {M. Kov{\'a}cs and H. Seidl and B. Finkbeiner}
}
@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:KeilThiemann2013b,
	title = {Type-based Dependency Analysis for {JavaScript}},
	booktitle = {Proceedings of the 8th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2013)},
	year = {2013},
	author = {M. Keil and P. Thiemann}
}
@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:KuestersTruderungVogt2012a,
	title = {{Clash Attacks on the Verifiability of E-Voting Systems}},
	booktitle = {Proceedings of the 33rd IEEE Symposium on Security and Privacy (S{\&}P 2012)},
	year = {2012},
	author = {R. K{\"u}sters and T. Truderung and A. Vogt}
}
@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:KuestersTruderungGraf2012a,
	title = {{A Framework for the Cryptographic Verification of Java-like Programs}},
	booktitle = {Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012)},
	year = {2012},
	author = {R. K{\"u}sters and T. Truderung and J. Graf}
}
@article {art:KuestersTruderungVogt2012,
	title = {A Game-Based Definition of Coercion-Resistance and its Applications},
	journal = {Journal of Computer Security (special issue of selected CSF 2010 papers)},
	volume = {20},
	number = {6/2012},
	year = {2012},
	author = {R. K{\"u}sters and T. Truderung and A. Vogt}
}
@conference {inp:DimitrovaFinkbeinerKovacsRabeSeidl2012a,
	title = {Model Checking Information Flow in Reactive Systems},
	booktitle = {Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012)},
	year = {2012},
	author = {R. Dimitrova and B. Finkbeiner and M. Kov{\'a}cs and M. Rabe and H. Seidl}
}
@conference {inp:AtkinsonGerbigKennel2012b,
	title = {On-the-Fly Emendation of Multi-level Models},
	booktitle = {8th European Conference on Modelling Foundations and Applications (ECMFA 2012)},
	year = {2012},
	author = {C. Atkinson and R. Gerbig and B. Kennel}
}
@conference {inp:KovacsSeidl2012a,
	title = {Runtime Enforcement of Information Flow Security in Tree Manipulating Processes},
	booktitle = {Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)},
	year = {2012},
	author = {M. Kov{\'a}cs and H. Seidl}
}
@conference {inp:AtkinsonGerbigKennel2012a,
	title = {Symbiotic general-purpose and domain-specific languages},
	booktitle = {Proceedings of the 34th International Conference on Software Engineering (ICSE 2012)},
	year = {2012},
	author = {C. Atkinson and R. Gerbig and B. Kennel}
}
@conference {inp:KelbertPretschner2012,
	title = {{Towards a Policy Enforcement Infrastructure for Distributed Usage Control}},
	booktitle = {Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT 2012)},
	year = {2012},
	author = {F. Kelbert and A. Pretschner}
}
@conference {inp:KumariPretschnerPeschlaKuhn2011a,
	title = {Distributed Data Usage Control for Web Applications: A Social Network Implementation},
	booktitle = {Proceedings of the 1st ACM Conference on Data and Application Security and Privacy (CODASPY 2011)},
	year = {2011},
	author = {P. Kumari and A. Pretschner and J. Peschla and J.-M. Kuhn}
}
@conference {inp:KuestersTruderungVogt2011a,
	title = {{Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study}},
	booktitle = {Proceedings of the 32nd IEEE Symposium on Security and Privacy (S{\&}P 2011)},
	year = {2011},
	author = {R. K{\"u}sters and T. Truderung and A. Vogt}
}
@conference {inp:KuestersTruderungVogt2010a,
	title = {{Proving Coercion-Resistance of Scantegrity II}},
	booktitle = {Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010)},
	year = {2010},
	author = {R. K{\"u}sters and T. Truderung and A. Vogt}
}
