Extending Dolev-Yao with Assertions. - Ramaswamy Ramanujam; Vaishnavi Sundararajan; S. P. Suresh (ICISS, 2014)

Existential Assertions for Voting Protocols. - R. Ramanujam 001; Vaishnavi Sundararajan; S. P. Suresh (Financial Cryptography Workshops, 2017)

Machine Reasoning Explainability. - Kristijonas Cyras; Ramamurthy Badrinath; Swarup Kumar Mohalik; Anusha Mujumdar; Alexandros Nikou; Alessandro Previti; Vaishnavi Sundararajan; Aneta Vulgarakis Feljan (CoRR, 2020)

The complexity of disjunction in intuitionistic logic. - R. Ramanujam 001; Vaishnavi Sundararajan; S. P. Suresh (J. Log. Comput., 2020)

Extended Formal Analysis of the EDHOC Protocol in Tamarin. - Karl Norrman; Vaishnavi Sundararajan; Alessandro Bruni (ICETE (Selected Papers), 2021)

Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. - Karl Norrman; Vaishnavi Sundararajan; Alessandro Bruni (SECRYPT, 2021)

Who holds the best card? Secure communication of optimal secret bits. - Hans van Ditmarsch; David Fernández-Duque; Vaishnavi Sundararajan; S. P. Suresh (Australas. J Comb., 2021)

A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties. - Véronique Cortier; Stéphanie Delaune; Vaishnavi Sundararajan (J. Autom. Reason., 2021)

Safe RAN control: A Symbolic Reinforcement Learning Approach. - Alexandros Nikou; Anusha Mujumdar; Vaishnavi Sundararajan; Marin Orlic; Aneta Vulgarakis Feljan (ICCA, 2022)

Protocol Insecurity with Assertions. - Ramaswamy Ramanujam; Vaishnavi Sundararajan; S. P. Suresh (CoRR, 2022)

Solving the Insecurity Problem for Assertions. - R. Ramanujam 001; Vaishnavi Sundararajan; S. P. Suresh (CSF, 2024)

Protocol insecurity with finitely many sessions and XOR. - R. Ramanujam 001; Vaishnavi Sundararajan; S. P. Suresh (CoRR, 2025)