- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j4 |      | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive trace properties for computational security. Journal of Computer Security 18(6): 1035-1073 (2010) |
| 2007 | ||
| j3 | | Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy: Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci. 172: 311-358 (2007) |
| c10 | | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proofs of Computational Secrecy. ESORICS 2007: 219-234 |
| i4 | | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proof Method for Computational Secrecy. IACR Cryptology ePrint Archive 2007: 165 (2007) |
| 2006 | ||
| j2 | | Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional analysis of contract-signing protocols. Theor. Comput. Sci. 367(1-2): 33-56 (2006) |
| c9 | | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert: Secrecy Analysis in Protocol Composition Logic. ASIAN 2006: 197-213 |
| c8 | | Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Computationally Sound Compositional Logic for Key Exchange Protocols. CSFW 2006: 321-334 |
| c7 | | Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. TCC 2006: 360-379 |
| i3 | | Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi: Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptology ePrint Archive 2006: 56 (2006) |
| i2 | | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Trace Properties for Computational Security. IACR Cryptology ePrint Archive 2006: 486 (2006) |
| 2005 | ||
| j1 | | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A derivation system and compositional logic for security protocols. Journal of Computer Security 13(3): 423-482 (2005) |
| c6 | | Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell: A modular correctness proof of IEEE 802.11i and TLS. ACM Conference on Computer and Communications Security 2005: 2-15 |
| c5 | | Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110 |
| c4 | | Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani: Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP 2005: 16-29 |
| i1 | | Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov: Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptology ePrint Archive 2005: 211 (2005) |
| 2004 | ||
| c3 | | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Abstraction and Refinement in Protocol Derivation. CSFW 2004: 30- |
| 2003 | ||
| c2 | | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: Secure protocol composition. FMSE 2003: 11-23 |
| c1 | | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic: A Derivation System for Security Protocols and its Logical Formalization. CSFW 2003: 109-125 |
Data released under the ODC-BY 1.0 license — See also our legal information page