2014
H. Blasum, Havle, O., Langenstein, B., Nemouchi, Y., Schmaltz, J., Stephan, W., Tverdyshew, S., Verbeek, F., and Wolf, B.,
“Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System”, in
Isabelle 2014 workshop at FloC 2014, 2014.
2012
R. Küsters, Truderung, T., and Vogt, A.,
“Clash Attacks on the Verifiability of E-Voting Systems”, in
Proceedings of the 33rd IEEE Symposium on Security and Privacy (S{&}P 2012), 2012.
R. Küsters, Truderung, T., and Vogt, A.,
“A Game-Based Definition of Coercion-Resistance and its Applications”,
Journal of Computer Security (special issue of selected CSF 2010 papers), vol. 20, 2012.
2011
M. D. Schwarz, Seidl, H., Vojdani, V., Lammich, P., and Müller-Olm, M.,
“Static Analysis of Interrupt-Driven Programs Synchronized via the Priority Ceiling Protocol”, in
Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011), 2011.