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