Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 7 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
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.
F
R. Küsters, Truderung, T., and Vogt, A., “Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking”, in Proceedings of the 35th IEEE Symposium on Security and Privacy (S&P 2014), 2014.
G
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.
P
R. Küsters, Truderung, T., and Vogt, A., “Proving Coercion-Resistance of Scantegrity II”, in Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010), 2010.
S
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.
U
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.
V
R. Küsters, Truderung, T., and Vogt, A., “Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study”, in Proceedings of the 32nd IEEE Symposium on Security and Privacy (S{&}P 2011), 2011.