2 citations · 2 across the 7 of their papers we have counts for
4 papers · 1 filter
Symbolic verification of Apple's Find My location-tracking protocol
Vaishnavi Sundararajan, Rithwik
Tracking devices, while designed to help users find their belongings in case of loss/theft, bring in new questions about privacy and surveillance of not just their own users, but i…
Insecurity problem for assertions remains in NP
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
In the symbolic verification of cryptographic protocols, a central problem is deciding whether a protocol admits an execution which leaks a designated secret to the malicious intru…
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Constrained IoT devices are becoming ubiquitous in society and there is a need for secure communication protocols that respect the constraints under which these devices operate. ED…
Existential Assertions for Voting Protocols
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
In earlier work, we extend the Dolev-Yao model with assertions. We build on that work and add existential abstraction to the language, which allows us to translate common construct…