
@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: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: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: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}
}
