Vaishnavi Sundararajan
PhD student in Computer Science
at the Chennai Mathematical Institute.
Work
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.
Publications
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.
Teaching
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).