Vaishnavi Sundararajan

Postdoctoral Researcher
at University of California Santa Cruz

I completed my PhD at Chennai Mathematical Institute. My advisors were Prof. R. Ramanujam and Prof. S. P. Suresh. My thesis was on formal aspects of certification in security protocols. I'm interested in the areas of logic, security, proof theory and verification. Before this, I was a Research Associate at Ericsson Research, Bengaluru.

Click here for a detailed CV.

Publications

  • Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices [ArXiv preprint]
    Karl Norrman, Vaishnavi Sundararajan, and Alessandro Bruni. (Names in order of contribution)
    Proc. SECRYPT 2021, ISBN 978-989-758-524-1, pages 210–221, 2021.

  • Who holds the best card? Secure communication of optimal secret bits [Link]
    David Fernández-Duque, Hans van Ditmarsch, Vaishnavi Sundararajan, and S P Suresh
    Australasian Journal of Combinatorics, 80, pages 1–29, 2021.

  • A Decidable Class of Security protocols for both reachability and equivalence properties [Link]
    Véronique Cortier, Stéphanie Delaune, and Vaishnavi Sundararajan
    Journal of Automated Reasoning, 65, pages 479–520, 2021.

  • The complexity of disjunction in intuitionistic logic [Technical report]
    R Ramanujam, Vaishnavi Sundararajan, and S P Suresh.
    Journal of Logic and Computation, 30(1), pages 421–445, 2020.

  • A theory of assertions for Dolev-Yao models [PDF]
    Vaishnavi Sundararajan.
    PhD Thesis, Chennai Mathematical Institute.

  • Existential assertions for voting protocols [PDF]
    R Ramanujam, Vaishnavi Sundararajan, and S P Suresh.
    Proc. FC 2017 Workshops (Voting '17), Springer LNCS volume 10323, pages 337–352.

  • 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, VIT, Vellore.
    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

Outreach

Contact

  • vasundar [AT] ucsc [DOT] edu