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)

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