Information based reasoning about security protocols. - Ramaswamy Ramanujam; S. P. Suresh (LACPV@CAV, 2001)

Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. - Ramaswamy Ramanujam; S. P. Suresh (FSTTCS, 2003)

Generic Verification of Security Protocols. - Abdul Sahid Khan; Madhavan Mukund; S. P. Suresh (SPIN, 2005)

Deciding knowledge properties of security protocols. - Ramaswamy Ramanujam; S. P. Suresh (TARK, 2005)

Decidability of context-explicit security protocols. - Ramaswamy Ramanujam; S. P. Suresh (J. Comput. Secur., 2005)

A (restricted) quantifier elimination for security protocols. - Ramaswamy Ramanujam; S. P. Suresh (Theor. Comput. Sci., 2006)

Knowledge-based modelling of voting protocols. - Anguraj Baskar; Ramaswamy Ramanujam; S. P. Suresh (TARK, 2007)

A Dolev-Yao Model for Zero Knowledge. - Anguraj Baskar; Ramaswamy Ramanujam; S. P. Suresh (ASIAN, 2009)

A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. - Anguraj Baskar; Ramaswamy Ramanujam; S. P. Suresh (MFCS, 2010)

Primal Infon Logic: Derivability in Polynomial Time. - Anguraj Baskar; Prasad Naldurg; K. R. Raghavendra; S. P. Suresh (FSTTCS, 2013)

Optimized OR-Sets without Ordering Constraints. - Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (ICDCN, 2014)

Extending Dolev-Yao with Assertions. - Ramaswamy Ramanujam; Vaishnavi Sundararajan; S. P. Suresh (ICISS, 2014)

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). - Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (ATVA, 2015)

Bounded Implementations of Replicated Data Types. - Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (VMCAI, 2015)

Knowledge Transfer and Information Leakage in Protocols. - Abdullah Abdul Khadir; Madhavan Mukund; S. P. Suresh (ATVA, 2017)

Existential Assertions for Voting Protocols. - R. Ramanujam 001; Vaishnavi Sundararajan; S. P. Suresh (Financial Cryptography Workshops, 2017)

Dolev-Yao Theory with Associative Blindpair Operators. - Anguraj Baskar; R. Ramanujam 001; S. P. Suresh (CIAA, 2019)

Bounded Version Vectors Using Mazurkiewicz Traces. - Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (ACSS (1), 2020)

Formalizing and Checking Multilevel Consistency. - Ahmed Bouajjani; Constantin Enea; Madhavan Mukund; Ranjal Gautham Shenoy; S. P. Suresh (VMCAI, 2020)

The complexity of disjunction in intuitionistic logic. - R. Ramanujam 001; Vaishnavi Sundararajan; S. P. Suresh (J. Log. Comput., 2020)

Who holds the best card? Secure communication of optimal secret bits. - Hans van Ditmarsch; David Fernández-Duque; Vaishnavi Sundararajan; S. P. Suresh (Australas. J Comb., 2021)

Protocol Insecurity with Assertions. - Ramaswamy Ramanujam; Vaishnavi Sundararajan; S. P. Suresh (CoRR, 2022)

Solving the Insecurity Problem for Assertions. - R. Ramanujam 001; Vaishnavi Sundararajan; S. P. Suresh (CSF, 2024)

Protocol insecurity with finitely many sessions and XOR. - R. Ramanujam 001; Vaishnavi Sundararajan; S. P. Suresh (CoRR, 2025)