S. P. Suresh - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2021

Who holds the best card? Secure communication of optimal secret bitsHans van Ditmarsch, David Fernández Duque, Vaishnavi Sundararajan, S. P. Suresh. ajc, 80:1-29, 2021. [doi]

2020

2019

Dolev-Yao Theory with Associative Blindpair OperatorsAnguraj Baskar, R. Ramanujam, S. P. Suresh. wia 2019: 58-69 [doi]

2017

Knowledge Transfer and Information Leakage in ProtocolsAbdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh. ATVA 2017: 225-240 [doi]

Existential Assertions for Voting ProtocolsR. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh. fc 2017: 337-352 [doi]

2016

The Complexity of Disjunction in Intuitionistic LogicR. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh. lfcs 2016: 349-363 [doi]

2015

Bounded Implementations of Replicated Data TypesMadhavan Mukund, Gautham Shenoy R., S. P. Suresh. vmcai 2014: 355-372 [doi]

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)Madhavan Mukund, Gautham Shenoy R., S. P. Suresh. ATVA 2015: 293-308 [doi]

2014

Optimized OR-Sets without Ordering ConstraintsMadhavan Mukund, Gautham Shenoy R., S. P. Suresh. icdcn 2014: 227-241 [doi]

Extending Dolev-Yao with AssertionsRamaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh. iciss 2014: 50-68 [doi]

2013

Primal Infon Logic: Derivability in Polynomial TimeAnguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh. fsttcs 2013: 163-174 [doi]

2010

A dexptime-Complete Dolev-Yao Theory with Distributive EncryptionAnguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh. mfcs 2010: 102-113 [doi]

2009

A Dolev-Yao Model for Zero KnowledgeAnguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh. asian 2009: 137-146 [doi]

2007

Knowledge-based modelling of voting protocolsA. Baskar, Ramaswamy Ramanujam, S. P. Suresh. tark 2007: 62-71 [doi]

2006

A (restricted) quantifier elimination for security protocolsRamaswamy Ramanujam, S. P. Suresh. TCS, 367(1-2):228-256, 2006. [doi]

2005

Generic Verification of Security ProtocolsAbdul Sahid Khan, Madhavan Mukund, S. P. Suresh. spin 2005: 221-235 [doi]

Deciding knowledge properties of security protocolsRamaswamy Ramanujam, S. P. Suresh. tark 2005: 219-235 [doi]

Decidability of context-explicit security protocolsRamaswamy Ramanujam, S. P. Suresh. jcs, 13(1):135-165, 2005.

2003

Tagging Makes Secrecy Decidable with Unbounded Nonces as WellRamaswamy Ramanujam, S. P. Suresh. fsttcs 2003: 363-374 [doi]

2001

Information based reasoning about security protocolsRamaswamy Ramanujam, S. P. Suresh. ENTCS, 55(1):85-100, 2001. [doi]

Sign in or sign up to see more results.

runs on WebDSL