Thomas Haines

IACR Cryptol. ePrint Arch., 2023

Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth.

[BibT_eX]

[DOI]

Mukesh Tiwari

Proceedings of the 32nd USENIX Security Symposium, 2023

Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions.

[BibT_eX]

[DOI]

Iñigo Querejeta-Azurmendi

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability.

[BibT_eX]

[DOI]

Anggrio Sutopo

Constantin Catalin Dragan

Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

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

[BibT_eX]

[DOI]

Constantin Catalin Dragan

Proceedings of the Computer Security - ESORICS 2023, 2023

2022

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System.

[BibT_eX]

[DOI]

CoRR, 2022

Running the Race: A Swiss Voting Story.

[BibT_eX]

[DOI]

Olivier Pereira

Vanessa Teague

Proceedings of the Electronic Voting - 7th International Joint Conference, 2022

2021

New Standards for E-Voting Systems: Reflections on Source Code Examinations.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Optimal Randomized Partial Checking for Decryption Mix Nets.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Improved Verifiability for BeleniosVS.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Verifiable Decryption in the Head.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Towards Verifiable Remote Voting with Paper Assurance.

[BibT_eX]

[DOI]

CoRR, 2021

2020

SoK: Techniques for Verifiable Mix Nets.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Machine-checking the universal verifiability of ElectionGuard.

[BibT_eX]

[DOI]

Jack Stodart

IACR Cryptol. ePrint Arch., 2020

Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.

[BibT_eX]

[DOI]

Bhavesh Sharma

IACR Cryptol. ePrint Arch., 2020

Efficient mixing of arbitrary ballots with everlasting privacy: How to verifiably mix the PPATC scheme.

[BibT_eX]

[DOI]

Kristian Gjøsteen

IACR Cryptol. ePrint Arch., 2020

A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

How not to prove your election outcome.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities.

[BibT_eX]

[DOI]

Olivier Pereira

Proceedings of the Financial Cryptography and Data Security, 2020

Vote Selling Resistant Voting.

[BibT_eX]

[DOI]

Colin Boyd

Proceedings of the Financial Cryptography and Data Security, 2020

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

2019

Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs.

[BibT_eX]

[DOI]

Clémentine Gritti

IACR Cryptol. ePrint Arch., 2019

A Description and Proof of a Generalised and Optimised Variant of Wikström's Mixnet.

[BibT_eX]

[DOI]

CoRR, 2019

Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme.

[BibT_eX]

[DOI]

Dirk Pattinson

Mukesh Tiwari

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Cronus: Everlasting Privacy with Audit and Cast.

[BibT_eX]

[DOI]

Proceedings of the Secure IT Systems, 2019

A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - INDOCRYPT 2019, 2019

Verified Verifiers for Verifying Elections.

[BibT_eX]

[DOI]

Mukesh Tiwari

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Forward-Secure Linkable Ring Signatures from Bilinear Maps.

[BibT_eX]

[DOI]

Cryptogr., 2018

Graphchain: a Blockchain-Free Scalable Decentralised Ledger.

[BibT_eX]

[DOI]

Christopher Carr

Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts, 2018

ITADS: A Real-World Intelligent Tutor to Train Troubleshooting Skills.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

Forward-Secure Linkable Ring Signatures.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 23rd Australasian Conference, 2018

2017

Key Recovery: Inert and Public.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Bitcoin Unchained.

[BibT_eX]

[DOI]

ERCIM News, 2017

2016

Blockchain-Free Cryptocurrencies. A Rational Framework for Truly Decentralised Fast Transactions.

[BibT_eX]

[DOI]

Christopher Carr

IACR Cryptol. ePrint Arch., 2016

Truly Multi-authority 'Prêt-à-Voter'.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - First International Joint Conference, 2016

VOTOR: conceptually simple remote voting against tiny tyrants.

[BibT_eX]

[DOI]