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…