Anguraj Baskar

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Dolev-Yao Theory with Associative Blindpair Operators.
Proceedings of the Implementation and Application of Automata, 2019

2013
Primal Infon Logic: Derivability in Polynomial Time.
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.
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009
A Dolev-Yao Model for Zero Knowledge.
Proceedings of the Advances in Computer Science, 2009

2007
Knowledge-based modelling of voting protocols.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007


  Loading...