Vaishnavi Sundararajan

According to our database, Vaishnavi Sundararajan authored at least 11 papers between 2014 and 2024.

Collaborative distances:

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

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

The complexity of disjunction in intuitionistic logic.

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

J. Log. Comput., 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

2014

Extending Dolev-Yao with Assertions.

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

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