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

Export 27 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Last Name is T  [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.
B
L. Fennell and Thiemann, P., “The Blame Theorem for a Linear Lambda Calculus with Type Dynamic”, in Proceedings of the Symposium on Trends in Functional Programming (TFP 2012), 2012.

Pages