| 2009 |
|---|
| 11 | EE | John C. Mitchell,
Arnab Roy,
Mukund Sundararajan:
An Automated Approach for Proving PCL Invariants.
Electr. Notes Theor. Comput. Sci. 234: 93-113 (2009) |
| 2008 |
|---|
| 10 | EE | John C. Mitchell,
Arnab Roy,
Paul Rowe,
Andre Scedrov:
Analysis of EAP-GPSK Authentication Protocol.
ACNS 2008: 309-327 |
| 9 | EE | Arnab Roy,
John F. Doherty:
Empirical mode decomposition frequency resolution improvement using the pre-emphasis and de-emphasis method.
CISS 2008: 453-457 |
| 8 | EE | 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) |
| 2007 |
|---|
| 7 | EE | Arnab Roy,
Anupam Datta,
Ante Derek,
John C. Mitchell:
Inductive Proofs of Computational Secrecy.
ESORICS 2007: 219-234 |
| 6 | EE | Arnab Roy,
Anupam Datta,
John C. Mitchell:
Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.
TGC 2007: 312-329 |
| 5 | EE | S. K. Panda,
Arnab Roy,
P. P. Chakrabarti,
Rajeev Kumar:
Simulation Based Verification using Temporally Attributed Boolean Logic.
VLSI Design 2007: 57-62 |
| 4 | EE | Arnab Roy,
John F. Doherty:
Signal Detection in an Impulsive Noise Environment Using Locally Optimum Detection.
VTC Fall 2007: 1022-1026 |
| 3 | EE | Anupam Datta,
Ante Derek,
John C. Mitchell,
Arnab Roy:
Protocol Composition Logic (PCL).
Electr. Notes Theor. Comput. Sci. 172: 311-358 (2007) |
| 2006 |
|---|
| 2 | EE | Arnab Roy,
Anupam Datta,
Ante Derek,
John C. Mitchell,
Jean-Pierre Seifert:
Secrecy Analysis in Protocol Composition Logic.
ASIAN 2006: 197-213 |
| 2005 |
|---|
| 1 | EE | 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) |
