Vaishnavi Sundararajan
Research Scholar (TCS Research Scholar)
Computer Science
Chennai Mathematical Institute
India
Biography
Vaishnavi Sundararajan Research Scholar (TCS Research Scholar) Computer Science
Research Interest
Computer Science
Publications
-
Extending Dolev-Yao with assertions. R Ramanujam, Vaishnavi Sundararajan and S P Suresh. Proc. ICISS 2014, Springer LNCS volume 8880, pages 50–68.
-
The complexity of disjunction in intuitionistic logic. R Ramanujam, Vaishnavi Sundararajan and S P Suresh. Proc. LFCS 2016, Springer LNCS volume 9537, pages 349–363.
-
Existential assertions for voting protocols. R Ramanujam, Vaishnavi Sundararajan and S P Suresh. To appear in Proc. 2nd Workshop on Advances in Secure Electronic Voting Schemes, 2017.
