Author of the publication

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.

, , , , , and . ESORICS (3), volume 14346 of Lecture Notes in Computer Science, page 471-491. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Selene: Voting with Transparent Verifiability and Coercion-Mitigation., , and . IACR Cryptology ePrint Archive, (2015)Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability., , and . CoRR, (2021)Revisiting Deniability in Quantum Key Exchange - via Covert Communication and Entanglement Distillation., , , and . NordSec, volume 11252 of Lecture Notes in Computer Science, page 104-120. Springer, (2018)Verifiable Decryption in the Head., , , , and . ACISP, volume 13494 of Lecture Notes in Computer Science, page 355-374. Springer, (2022)Verifiable Inner Product Encryption Scheme., , , , and . Public Key Cryptography (1), volume 12110 of Lecture Notes in Computer Science, page 65-94. Springer, (2020)Security - Visible, Yet Unseen?, , , , , and . CHI, page 605. ACM, (2019)Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting., , , , and . E-Vote-ID, volume 15014 of Lecture Notes in Computer Science, page 158-174. Springer, (2024)Expanding the Toolbox: Coercion and Vote-Selling at Vote-Casting Revisited., , and . E-Vote-ID, volume 15014 of Lecture Notes in Computer Science, page 141-157. Springer, (2024)On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability., , and . FC Workshops, volume 13953 of Lecture Notes in Computer Science, page 19-33. Springer, (2023)New Standards for E-Voting Systems: Reflections on Source Code Examinations., and . Financial Cryptography Workshops, volume 12676 of Lecture Notes in Computer Science, page 279-289. Springer, (2021)