Steve Kremer

Disclaimer: This page refers to an external person. It only lists all the interactions between this person and the Crypto Group. Validity or accuracy of the following information is thus not guaranteed in any way.

Seminars given

February 25, 2008 - Formal Analysis of PKCS#11
by Steve Kremer

BibTeX - Kremer


Stephanie Delaune, Steve Kremer, and Olivier Pereira. Simulation based security in the applied pi calculus, In R. Kannan and K. Kumar, editor(s), Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2009, Leibniz International Proceedings in Informatics, December 2009 PDF BibTeX

Copyright Notice

(click here to expand/retract)