| 2011 |
|---|
| 11 | Policy refinement of network services for MANETs. Hang Zhao, Jorge Lobo, Arnab Roy, Steven M. Bellovin. Integrated Network Management 2011, 113-120. Web SearchBibTeXDownload |
| 2010 |
|---|
| 10 | Inductive trace properties for computational security. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell. Journal of Computer Security (18): 1035-1073 (2010). Web SearchBibTeXDownload |
| 2009 |
|---|
| 9 | An Automated Approach for Proving PCL Invariants. John C. Mitchell, Arnab Roy, Mukund Sundararajan. Electr. Notes Theor. Comput. Sci. (234): 93-113 (2009). Web SearchBibTeXDownload |
| 8 | Operational Semantics for DKAL: Application and Analysis. Yuri Gurevich, Arnab Roy. TrustBus 2009, 149-158. Web SearchBibTeXDownload |
| 2008 |
|---|
| 7 | Analysis of EAP-GPSK Authentication Protocol. John C. Mitchell, Arnab Roy, Paul Rowe, Andre Scedrov. ACNS 2008, 309-327. Web SearchBibTeXDownload |
| 2007 |
|---|
| 6 | Protocol Composition Logic (PCL). Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy. Electr. Notes Theor. Comput. Sci. (172): 311-358 (2007). Web SearchBibTeXDownload |
| 5 | Inductive Proofs of Computational Secrecy. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell. ESORICS 2007, 219-234. Web SearchBibTeXDownload |
| 4 | Inductive Proof Method for Computational Secrecy. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell. IACR Cryptology ePrint Archive (2007): 165 (2007). Web SearchBibTeXDownload |
| 3 | Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. Arnab Roy, Anupam Datta, John C. Mitchell. TGC 2007, 312-329. Web SearchBibTeXDownload |
| 2006 |
|---|
| 2 | Secrecy Analysis in Protocol Composition Logic. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert. ASIAN 2006, 197-213. Web SearchBibTeXDownload |
| 1 | Inductive Trace Properties for Computational Security. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell. IACR Cryptology ePrint Archive (2006): 486 (2006). Web SearchBibTeXDownload |
