Stephanie Delaune

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 - Safely Composing Security Protocols via Tagging
by Stephanie Delaune

BibTeX - Delaune


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)