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.

Older publications

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).

Teaching assistant positions

Contact Me

  • vaishnavi@cmi.ac.in

  • Address

    Chennai Mathematical Institute
    H1 SIPCOT IT Park
    Siruseri, Kelambakkam
    Tamil Nadu - 603103, India.

  • Phone

    044-27470228.