S. P. Suresh

28 papers A 1B 7C 1Misc 3Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Protocol insecurity with finitely many sessions and XOR.
CoRR
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2024 A conf
Solving the Insecurity Problem for Assertions.
CSF
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2023 J jnl
Solving the insecurity problem for assertions.
CoRR
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2022 J jnl
Protocol Insecurity with Assertions.
CoRR
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2021 J jnl
Who holds the best card? Secure communication of optimal secret bits.
Australas. J Comb.
Hans van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
2020 — conf
Bounded Version Vectors Using Mazurkiewicz Traces.
ACSS (1)
Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2020 B conf
Formalizing and Checking Multilevel Consistency.
VMCAI
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2020 J jnl
The complexity of disjunction in intuitionistic logic.
J. Log. Comput.
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2019 C conf
Dolev-Yao Theory with Associative Blindpair Operators.
CIAA
Anguraj Baskar, R. Ramanujam, S. P. Suresh
2017 — conf
Existential Assertions for Voting Protocols.
Financial Cryptography Workshops
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2017 J jnl
Existential Assertions for Voting Protocols.
CoRR
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2017 B conf
Knowledge Transfer and Information Leakage in Protocols.
ATVA
Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh
2016 Misc conf
The Complexity of Disjunction in Intuitionistic Logic.
LFCS
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2015 B conf
Bounded Implementations of Replicated Data Types.
VMCAI
Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2015 B conf
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).
ATVA
Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2014 — ed.
34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, New Delhi, India, December 15-17, 2014
FSTTCS
Venkatesh Raman, S. P. Suresh
2014 Misc conf
Extending Dolev-Yao with Assertions.
ICISS
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2014 Misc conf
Optimized OR-Sets without Ordering Constraints.
ICDCN
Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2013 — conf
Primal Infon Logic: Derivability in Polynomial Time.
FSTTCS
Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh
2010 B conf
A dexptime-Complete Dolev-Yao Theory with Distributive Encryption.
MFCS
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
2009 — conf
A Dolev-Yao Model for Zero Knowledge.
ASIAN
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
2007 B conf
Knowledge-based modelling of voting protocols.
TARK
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
2006 J jnl
A (restricted) quantifier elimination for security protocols.
Theor. Comput. Sci.
Ramaswamy Ramanujam, S. P. Suresh
2005 J jnl
Decidability of context-explicit security protocols.
J. Comput. Secur.
Ramaswamy Ramanujam, S. P. Suresh
2005 B conf
Deciding knowledge properties of security protocols.
TARK
Ramaswamy Ramanujam, S. P. Suresh
2005 — conf
Generic Verification of Security Protocols.
SPIN
Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh
2003 — conf
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.
FSTTCS
Ramaswamy Ramanujam, S. P. Suresh
2001 — conf
Information based reasoning about security protocols.
LACPV@CAV
Ramaswamy Ramanujam, S. P. Suresh