Vaishnavi Sundararajan

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 13

Top Topics

Key Establishment

Formal Analysis

Coloured Petri Nets

Intuitionistic Logic

Top Venues

ICETE (Selected Papers)

J. Log. Comput.

Publications

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Solving the insecurity problem for assertions. CoRR (2023)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Protocol Insecurity with Assertions. CoRR (2022)
Alexandros Nikou, Anusha Mujumdar, Vaishnavi Sundararajan, Marin Orlic, Aneta Vulgarakis Feljan
Safe RAN control: A Symbolic Reinforcement Learning Approach. ICCA (2022)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. SECRYPT (2021)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Extended Formal Analysis of the EDHOC Protocol in Tamarin. ICETE (Selected Papers) (2021)
Hans van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
Who holds the best card? Secure communication of optimal secret bits. Australas. J Comb. 80 (2021)
Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan
A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties. J. Autom. Reason. 65 (4) (2021)
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan
Machine Reasoning Explainability. CoRR (2020)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. CoRR (2020)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
The complexity of disjunction in intuitionistic logic. J. Log. Comput. 30 (1) (2020)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Existential Assertions for Voting Protocols. CoRR (2017)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Existential Assertions for Voting Protocols. Financial Cryptography Workshops (2017)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
The Complexity of Disjunction in Intuitionistic Logic. LFCS (2016)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Extending Dolev-Yao with Assertions. ICISS (2014)