2 citations · 2 across the 7 of their papers we have counts for
8 papers
Self-Correcting Gossip Protocols
Giorgio Cignarale, Hans van Ditmarsch, Stephan Felber +3
We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we…
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…
Protocol insecurity with finitely many sessions and XOR
R Ramanujam, Vaishnavi Sundararajan, S P Suresh
We present a different proof of the insecurity problem for XOR, solved in by Chevalier, Kuesters, Rusinowitch and Turuani (2005). Our proof uses the notion of typed terms and well-…
Solving the insecurity problem for assertions
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…
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…
Machine Reasoning Explainability
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik +5
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainabl…
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…