
@article {ar:PopescuLammich2014,
	title = {Bounded-Deducibility Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {A. Popescu and P. Lammich}
}
@conference {inp:FennellThiemann2012,
	title = {The Blame Theorem for a Linear Lambda Calculus with Type Dynamic},
	booktitle = {Proceedings of the Symposium on Trends in Functional Programming (TFP 2012)},
	year = {2012},
	author = {L. Fennell and P. Thiemann}
}
@conference {inp:JagerSchinzelSmorovsky2012a,
	title = {{Bleichenbacher{\textquoteright}s Attack Strikes Again: Breaking PKCS\#1 v1.5 in XML Encryption}},
	booktitle = {Proceedings of the 17th European Symposium on Research in Computer Security (ESORICS 2012)},
	year = {2012},
	author = {T. Jager and S. Schinzel and J Smorovksy}
}
