S. P. Suresh

	2007
7		A. Baskar, Ramaswamy Ramanujam, S. P. Suresh: Knowledge-based modelling of voting protocols. TARK 2007: 62-71
	2006
6		Ramaswamy Ramanujam, S. P. Suresh: A (restricted) quantifier elimination for security protocols. Theor. Comput. Sci. 367(1-2): 228-256 (2006)
	2005
5		Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh: Generic Verification of Security Protocols. SPIN 2005: 221-235
4		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		Ramaswamy Ramanujam, S. P. Suresh: Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. FSTTCS 2003: 363-374
	2001
1		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