Vaishnavi Sundararajan

According to our database, Vaishnavi Sundararajan authored at least 15 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Self-Correcting Gossip Protocols.

Giorgio Cignarale, Hans van Ditmarsch, Stephan Felber, Malvin Gattinger, Hugo Rincon Galeana, Vaishnavi Sundararajan

CoRR, May, 2026

Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+.

Elsa López Pérez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, Malisa Vucinic

Proceedings of the ACM Asia Conference on Computer and Communications Security, 2026

2025

Symbolic verification of Apple's Find My location-tracking protocol.

Vaishnavi Sundararajan, Rithwik

CoRR, October, 2025

Protocol insecurity with finitely many sessions and XOR.

R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

CoRR, June, 2025

2024

Solving the Insecurity Problem for Assertions.

R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2022

Protocol Insecurity with Assertions.

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

CoRR, 2022

Safe RAN control: A Symbolic Reinforcement Learning Approach.

Alexandros Nikou, Anusha Mujumdar, Vaishnavi Sundararajan, Marin Orlic, Aneta Vulgarakis Feljan

Proceedings of the 17th IEEE International Conference on Control & Automation, 2022

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

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

Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.

Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Extended Formal Analysis of the EDHOC Protocol in Tamarin.

Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni

Proceedings of the E-Business and Telecommunications - 18th International Conference, 2021

2020

Machine Reasoning Explainability.

Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan

CoRR, 2020

2017

Existential Assertions for Voting Protocols.

R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

Proceedings of the Financial Cryptography and Data Security, 2017

2016

The Complexity of Disjunction in Intuitionistic Logic.

R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2014

Extending Dolev-Yao with Assertions.

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

Proceedings of the Information Systems Security - 10th International Conference, 2014