.:. Browse > List by authors > Mitchell .:.

4 documents ordered by : Date Title first author name document type Submit date

Compositional Analysis of Contract Signing Protocols Backes M., Datta A., Derek A., Mitchell J. C., Turuani M. Theoretical Computer Science (2006) [inria-00104005 - version 1]

Computationally Sound Compositional Logic for Security Protocols Datta A., Derek A., Mitchell J. C., Roy A., Shmatikov V., Turuani M., Warinschi B. Dans Workshop on Formal and Computational Cryptography - FCC 2006 (2006) [inria-00080593 - version 1]

Probabilistic Polynomial-time Semantics for a Protocol Security Logic Datta A., Derek A., Mitchell J. C., Shmatikov V., Turuani M. Dans 32nd International Colloquium on Automata, Languages and Programming - ICALP 2005 3580 (2005) 16--29 [inria-00103654 - version 1]

Compositional Analysis of Contract Signing Protocols Backes M., Datta A., Derek A., Mitchell J. C., Turuani M. Dans 18th IEEE Computer Security Foundations Workshop - CSFW 2005 (2005) 94-110 [inria-00103647 - version 1]