S. P. Suresh

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

Coauthor Index

1	A. Baskar	[7]
2	Abdul Sahid Khan	[5]
3	Madhavan Mukund	[5]
4	Ramaswamy Ramanujam	[1] [2] [3] [4] [6] [7]

Colors in the list of coauthors