Challenges for epistemic logic from security protocols [PDF]
R Ramanujam and S P Suresh
A version of the paper appearing in pages 215–231 of Games, Norms and Reasons: Logic at the Crossroads, volume 353, Synthese Library, edited by Johan van Benthem, Amitabha Gupta, and Eric Pacuit, April 2011.A DEXPTIME-complete Dolev-Yao theory with distributive encryption [Conference version | Technical report | Full version submitted to special issue of Information and Computation]
A Baskar, R Ramanujam, and S P Suresh
Proceedings of MFCS 2010, Springer LNCS volume 6281, pages 102–113, August 2010.A Dolev-Yao model for Zero-Knowledge [PDF]
A Baskar, R Ramanujam, and S P Suresh
Proceedings of ASIAN 2009, Springer LNCS volume 5913, pages 137–146, December 2009.Knowledge-based modelling of voting protocols [ PDF]
A Baskar, R Ramanujam, and S P Suresh
A version of the paper appearing in the Proceedings of the Eleventh Conference on Theoretical Aspects of Rationality and Knowledge, edited by Dov Samet, pages 62–71, Brussels, Belgium, June 25–27, 2007.A (restricted) quantifier elimination for security protocols [PDF]
R Ramanujam and S P Suresh
A version of the paper appearing in Theoretical Computer Science, volume 367, 2006, pages 228–256.Generic verification of security protocols [PDF]
Abdul Sahid Khan, Madhavan Mukund and S P Suresh
Proceedings of SPIN 2005, Springer LNCS 3639, pages 221–235, August 2005.Decidability of context-explicit security protocols [PDF]
R Ramanujam and S P Suresh
A version of the paper appearing in Journal of Computer Security, volume 13(1), 2005, pages 135–165.Deciding knowledge properties of security protocols [PDF]
R Ramanujam and S P Suresh
Proceedings of the Tenth Conference on Theoretical Aspects of Rationality and Knowledge, pages 219–235, 2005.Tagging makes secrecy decidable for unbounded nonces as well [PDF]
R Ramanujam and S P Suresh
Proc. 23rd FSTTCS, LNCS 2914, pages 363–374, December 2003.Foundations of Security Protocol Analysis [PDF]
S P Suresh
PhD thesis, Madras University, November 2003.An equivalence on terms for security protocols [PDF]
R Ramanujam and S P Suresh
Proc. AVIS'03 (Workshop on Automatic Verification of Infinite-State Systems), pages 45–56, Warsaw, Poland, April 2003.A decidable subclass of unbounded security protocols [PDF]
R Ramanujam and S P Suresh
Proc. WITS'03 (Workshop on Issues in the Theory of Security), pages 11–20, Warsaw, Poland, April 2003.Semi-deterministic extensions of fixed-point logic [PDF]
S P Suresh
MSc thesis, Anna University, June 1999.