Vaishnavi Sundararajan
PhD student in Computer Science
at the Chennai Mathematical Institute.

PhD student in Computer Science
at the Chennai Mathematical Institute.
My advisors are R. Ramanujam and S. P. Suresh. I am currently working on formal aspects of partial secrecy and zero-knowledge in security protocols. I'm interested in the areas of logic, security, proof theory and verification.
Click here for a detailed CV.
Existential assertions for voting protocols [PDF]
R Ramanujam, Vaishnavi Sundararajan and S P Suresh.
To appear in Proc. 2nd Workshop on Advances in Secure Electronic Voting Schemes, 2017.
The complexity of disjunction in intuitionistic logic [PDF]
R Ramanujam, Vaishnavi Sundararajan and S P Suresh.
Proc. LFCS 2016, Springer LNCS volume 9537, pages 349–363.
Extending Dolev-Yao with assertions [PDF]
R Ramanujam, Vaishnavi Sundararajan and S P Suresh.
Proc. ICISS 2014, Springer LNCS volume 8880, pages 50–68.
Formal Methods for Cryptographic Protocols [Link]
August – December 2017, Chennai Mathematical Institute.
Co-instructor (with Prof. S P Suresh).
Security Protocol Design and Verification
June 2016, ACM Summer School on Information and Systems Security, Vellore Institute of Technology.
Co-instructor (with Prof. S P Suresh).
Training on Functional Programming with Haskell[News article]
September 2016, National Institute of Engineering, Mysuru.
Co-instructor (with Prof. S P Suresh).