Anguraj Baskar

According to our database, Anguraj Baskar authored at least 5 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Dolev-Yao Theory with Associative Blindpair Operators.

Anguraj Baskar, R. Ramanujam, S. P. Suresh

Proceedings of the Implementation and Application of Automata, 2019

2013

Primal Infon Logic: Derivability in Polynomial Time.

Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2010

A dexptime-Complete Dolev-Yao Theory with Distributive Encryption.

Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009

A Dolev-Yao Model for Zero Knowledge.

Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the Advances in Computer Science, 2009

2007

Knowledge-based modelling of voting protocols.

Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007