S. P. Suresh

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 13

Top Topics

Intuitionistic Logic

Ordering Constraints

Mazurkiewicz Traces

Top Venues

J. Log. Comput.

Publications

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Solving the insecurity problem for assertions. CoRR (2023)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Protocol Insecurity with Assertions. CoRR (2022)
Hans van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
Who holds the best card? Secure communication of optimal secret bits. Australas. J Comb. 80 (2021)
Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Bounded Version Vectors Using Mazurkiewicz Traces. ACSS (1) (2020)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
The complexity of disjunction in intuitionistic logic. J. Log. Comput. 30 (1) (2020)
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Formalizing and Checking Multilevel Consistency. VMCAI (2020)
Anguraj Baskar, R. Ramanujam, S. P. Suresh
Dolev-Yao Theory with Associative Blindpair Operators. CIAA (2019)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Existential Assertions for Voting Protocols. CoRR (2017)
Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh
Knowledge Transfer and Information Leakage in Protocols. ATVA (2017)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Existential Assertions for Voting Protocols. Financial Cryptography Workshops (2017)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
The Complexity of Disjunction in Intuitionistic Logic. LFCS (2016)
Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). ATVA (2015)
Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Bounded Implementations of Replicated Data Types. VMCAI (2015)
Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Optimized OR-Sets without Ordering Constraints. ICDCN (2014)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Extending Dolev-Yao with Assertions. ICISS (2014)
Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh
Primal Infon Logic: Derivability in Polynomial Time. FSTTCS (2013)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. MFCS (2010)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
A Dolev-Yao Model for Zero Knowledge. ASIAN (2009)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
Knowledge-based modelling of voting protocols. TARK (2007)
Ramaswamy Ramanujam, S. P. Suresh
A (restricted) quantifier elimination for security protocols. Theor. Comput. Sci. 367 (1-2) (2006)
Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh
Generic Verification of Security Protocols. SPIN (2005)
Ramaswamy Ramanujam, S. P. Suresh
Decidability of context-explicit security protocols. J. Comput. Secur. 13 (1) (2005)
Ramaswamy Ramanujam, S. P. Suresh
Deciding knowledge properties of security protocols. TARK (2005)
Ramaswamy Ramanujam, S. P. Suresh
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. FSTTCS (2003)
Ramaswamy Ramanujam, S. P. Suresh
Information based reasoning about security protocols. Electron. Notes Theor. Comput. Sci. 55 (1) (2001)