Searching for authors named "Arnab Roy" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
OPERATIONAL SEMANTICS FOR DKAL: APPLICATION AND ANALYSIS
- …OPERATIONAL SEMANTICS FOR DKAL: APPLICATION AND ANALYSIS YURI GUREVICH AND ARNAB ROY Abstract…
- Add To MetaCart
-
Inductive trace properties for computational security. WITS, 2007. Full version at http://www.stanford.edu/∼arnab/rddm-IndTraceProps.pdf
- …Inductive Trace Properties for Computational Security Arnab Roy, Anupam Datta, Ante Derek, John C…
- Cited by 2 (2 self) – Add To MetaCart
-
Inductive proofs of computational secrecy
- …Inductive Proofs of Computational Secrecy ⋆ Arnab Roy 1 , Anupam Datta 2 , Ante Derek 1 , John C…
- Cited by 1 (1 self) – Add To MetaCart
-
Inductive proof method for computational secrecy
- …Inductive Proof Method for Computational Secrecy Arnab Roy, Anupam Datta, Ante Derek, John C…
- Cited by 2 (1 self) – Add To MetaCart
-
Secrecy analysis in protocol composition logic
- …Secrecy Analysis in Protocol Composition Logic ⋆ Arnab Roy 1 , Anupam Datta 1 , Ante Derek 1…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 5.
