dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Arnab Roy (Selection)

Stanford University / IIT, Kharagpur

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive trace properties for computational security. Journal of Computer Security 18(6): 1035-1073 (2010)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proofs of Computational Secrecy. ESORICS 2007: 219-234
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnupam Datta, Ante Derek, John C. Mitchell, Arnab Roy: Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci. 172: 311-358 (2007)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnab Roy, Anupam Datta, Ante Derek, John C. Mitchell: Inductive Proof Method for Computational Secrecy. IACR Cryptology ePrint Archive 2007: 165 (2007)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert: Secrecy Analysis in Protocol Composition Logic. ASIAN 2006: 197-213

Selection of 5 from 12 records - Arnab Roy has 11 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page