Arnab Roy

Stanford University / IIT, Kharagpur

other persons with the same name:

• Arnab Roy
• Arnab Roy 0002 - Pennsylvania State University
• Arnab Roy 0003 - IBM T. J. Watson Research Center
• Arnab Roy 0004 - State University of New York at Binghamton
• Arnab Roy 0005 - University of Luxemburg

	2010
j5		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive trace properties for computational security. Journal of Computer Security 18(6): 1035-1073 (2010)
	2009
j4		John C. Mitchell, Arnab Roy, Mukund Sundararajan: An Automated Approach for Proving PCL Invariants. Electr. Notes Theor. Comput. Sci. 234: 93-113 (2009)
c6		Yuri Gurevich, Arnab Roy: Operational Semantics for DKAL: Application and Analysis. TrustBus 2009: 149-158
	2008
j3		S. K. Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar: Simulation-based verification using Temporally Attributed Boolean Logic. ACM Trans. Design Autom. Electr. Syst. 13(4) (2008)
c5		John C. Mitchell, Arnab Roy, Paul Rowe, Andre Scedrov: Analysis of EAP-GPSK Authentication Protocol. ACNS 2008: 309-327
	2007
j2		Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy: Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci. 172: 311-358 (2007)
c4		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proofs of Computational Secrecy. ESORICS 2007: 219-234
c3		Arnab Roy, Anupam Datta, John C. Mitchell: Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. TGC 2007: 312-329
c2		S. K. Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar: Simulation Based Verification using Temporally Attributed Boolean Logic. VLSI Design 2007: 57-62
i1		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proof Method for Computational Secrecy. IACR Cryptology ePrint Archive 2007: 165 (2007)
	2006
c1		Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert: Secrecy Analysis in Protocol Composition Logic. ASIAN 2006: 197-213
	2005
j1		Arnab Roy, S. K. Panda, Rajeev Kumar, P. P. Chakrabarti: A framework for systematic validation and debugging of pipeline simulators. ACM Trans. Design Autom. Electr. Syst. 10(3): 462-491 (2005)

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 11:52:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page