Anguraj Baskar

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 1

Top Topics

Epistemic Logic

Algorithm For Linear Programming

Simplex Algorithm

Top Venues

Publications

Anguraj Baskar, R. Ramanujam, S. P. Suresh
Dolev-Yao Theory with Associative Blindpair Operators. CIAA (2019)
Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh
Primal Infon Logic: Derivability in Polynomial Time. FSTTCS (2013)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. MFCS (2010)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
A Dolev-Yao Model for Zero Knowledge. ASIAN (2009)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
Knowledge-based modelling of voting protocols. TARK (2007)