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

Export 3 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is B  [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 
F
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.
J
T. Jager, Schinzel, S., and Smorovksy, J., “Bleichenbacher's Attack Strikes Again: Breaking PKCS\#1 v1.5 in XML Encryption”, in Proceedings of the 17th European Symposium on Research in Computer Security (ESORICS 2012), 2012.
P
A. Popescu and Lammich, P., “Bounded-Deducibility Security”, Archive of Formal Proofs, 2014.