Vaishnavi Sundararajan

17 papers A 1C 1Misc 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Protocol insecurity with finitely many sessions and XOR.
CoRR
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2025 J jnl
Symbolic verification of Apple's Find My location-tracking protocol.
CoRR
Vaishnavi Sundararajan, Rithwik
2024 A conf
Solving the Insecurity Problem for Assertions.
CSF
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2023 J jnl
Solving the insecurity problem for assertions.
CoRR
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2022 J jnl
Protocol Insecurity with Assertions.
CoRR
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2022 — conf
Safe RAN control: A Symbolic Reinforcement Learning Approach.
ICCA
Alexandros Nikou, Anusha Mujumdar, Vaishnavi Sundararajan, Marin Orlic, Aneta Vulgarakis Feljan
2021 J jnl
A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties.
J. Autom. Reason.
Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan
2021 — conf
Extended Formal Analysis of the EDHOC Protocol in Tamarin.
ICETE (Selected Papers)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
2021 C conf
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.
SECRYPT
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
2021 J jnl
Who holds the best card? Secure communication of optimal secret bits.
Australas. J Comb.
Hans van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
2020 J jnl
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.
CoRR
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
2020 J jnl
Machine Reasoning Explainability.
CoRR
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan
2020 J jnl
The complexity of disjunction in intuitionistic logic.
J. Log. Comput.
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2017 — conf
Existential Assertions for Voting Protocols.
Financial Cryptography Workshops
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2017 J jnl
Existential Assertions for Voting Protocols.
CoRR
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2016 Misc conf
The Complexity of Disjunction in Intuitionistic Logic.
LFCS
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
2014 Misc conf
Extending Dolev-Yao with Assertions.
ICISS
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh