S. P. Suresh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2005–2020
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | VMCAI | Formalizing and Checking Multilevel Consistency. | Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2017 | ATVA | Knowledge Transfer and Information Leakage in Protocols. | Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh |
| 2017 | FC | Existential Assertions for Voting Protocols. | R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
| 2016 | LFCS | The Complexity of Disjunction in Intuitionistic Logic. | R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
| 2015 | ATVA | Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2015 | VMCAI | Bounded Implementations of Replicated Data Types. | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2014 | ICDCN | Optimized OR-Sets without Ordering Constraints. | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2014 | ICISS | Extending Dolev-Yao with Assertions. | Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
| 2010 | MFCS | A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
| 2007 | TARK | Knowledge-based modelling of voting protocols. | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
| 2005 | TARK | Deciding knowledge properties of security protocols. | Ramaswamy Ramanujam, S. P. Suresh |