
@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 {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 {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 {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}
}
@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: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: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:FennellThiemann2014,
	title = {Gradual Typing for Annotated Type Systems},
	booktitle = {Proceedings of the 23rd European Symposium on Programming (ESOP 2014)},
	year = {2014},
	author = {L. Fennell and P. Thiemann}
}
@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: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:FennellThiemann2013,
	title = {Gradual Security Typing with References},
	booktitle = {Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013)},
	year = {2013},
	pages = {224-239},
	keywords = {conference},
	author = {L. Fennell 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: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:FennellThiemann2012,
	title = {The Blame Theorem for a Linear Lambda Calculus with Type Dynamic},
	booktitle = {Proceedings of the Symposium on Trends in Functional Programming (TFP 2012)},
	year = {2012},
	author = {L. Fennell and P. Thiemann}
}
@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: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: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:AtkinsonGerbigTunjic2012a,
	title = {Towards Multi-level Aware Model Transformations},
	booktitle = {5th International Conference on Theory and Practice of Model Transformations (ICMT 2012)},
	year = {2012},
	author = {C. Atkinson and R. Gerbig and C. Tunjic}
}
@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:TaghdiriSneltingSinz2010a,
	title = {Information Flow Analysis via Path Condition Refinement},
	booktitle = {Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust (FAST 2010)},
	year = {2010},
	author = {M. Taghdiri and G. Snelting and C. Sinz}
}
@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}
}
