Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Related Documents
![Formal Veri cation of Selene with the Tamarin prover€¦ · Selene [Ryan et al. (2016)] - Overview Selene lets the voter verify that her vote has been taken into account, using atracking](https://static.cupdf.com/doc/110x72/608afb7f0677b5627263ee2b/formal-veri-cation-of-selene-with-the-tamarin-prover-selene-ryan-et-al-2016.jpg)
