Search the dblp DataBase

Publications of Author

1. S. K. Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar
   Simulation Based Verification using Temporally Attributed Boolean Logic. [Citation Graph (0, 0)][DBLP]
   VLSI Design, 2007, pp:57-62 [Conf]
   
2. Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy
   Protocol Composition Logic (PCL). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:311-358 [Journal]
   
3. Arnab Roy, S. K. Panda, Rajeev Kumar, P. P. Chakrabarti
   A framework for systematic validation and debugging of pipeline simulators. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Design Autom. Electr. Syst., 2005, v:10, n:3, pp:462-491 [Journal]
   
4. Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
   Inductive Proofs of Computational Secrecy. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2007, pp:219-234 [Conf]
   
5. 
   Analysis of EAP-GPSK Authentication Protocol. [Citation Graph (, )][DBLP]
   
   
6. 
   Secrecy Analysis in Protocol Composition Logic. [Citation Graph (, )][DBLP]
   
   
7. 
   Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. [Citation Graph (, )][DBLP]
   
   
8. 
   Operational Semantics for DKAL: Application and Analysis. [Citation Graph (, )][DBLP]
   
   
9. 
   Signal Detection in an Impulsive Noise Environment Using Locally Optimum Detection. [Citation Graph (, )][DBLP]
   
   
10. 
    Empirical mode decomposition frequency resolution improvement using the pre-emphasis and de-emphasis method. [Citation Graph (, )][DBLP]
    
    
11. 
    An Automated Approach for Proving PCL Invariants. [Citation Graph (, )][DBLP]