The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

S. P. Suresh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ramaswamy Ramanujam, S. P. Suresh
    Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:363-374 [Conf]
  2. Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh
    Generic Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:221-235 [Conf]
  3. Ramaswamy Ramanujam, S. P. Suresh
    Deciding knowledge properties of security protocols. [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:219-235 [Conf]
  4. Ramaswamy Ramanujam, S. P. Suresh
    Information based reasoning about security protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:1, pp:- [Journal]
  5. Ramaswamy Ramanujam, S. P. Suresh
    Decidability of context-explicit security protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:135-165 [Journal]
  6. Ramaswamy Ramanujam, S. P. Suresh
    A (restricted) quantifier elimination for security protocols. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:367, n:1-2, pp:228-256 [Journal]

  7. A Dolev-Yao Model for Zero Knowledge. [Citation Graph (, )][DBLP]


  8. A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. [Citation Graph (, )][DBLP]


  9. Knowledge-based modelling of voting protocols. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002