| Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. | 0 | 0.34 | 2022 |
| Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting | 0 | 0.34 | 2021 |
| Optimal Randomized Partial Checking for Decryption Mix Nets | 0 | 0.34 | 2021 |
| A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose | 0 | 0.34 | 2021 |
| Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers. | 0 | 0.34 | 2021 |
| New Standards for E-Voting Systems: Reflections on Source Code Examinations | 0 | 0.34 | 2021 |
| Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. | 0 | 0.34 | 2021 |
| A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. | 0 | 0.34 | 2020 |
| Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. | 0 | 0.34 | 2020 |
| Vote Selling Resistant Voting. | 0 | 0.34 | 2020 |
| SoK: Techniques for Verifiable Mix Nets | 2 | 0.38 | 2020 |
| Efficient Mixing of Arbitrary Ballots with Everlasting Privacy - How to Verifiably Mix the PPATC Scheme. | 0 | 0.34 | 2020 |
| Short Paper - An Update on Marked Mix-Nets - An Attack, a Fix and PQ Possibilities. | 0 | 0.34 | 2020 |
| Machine-Checking the Universal Verifiability of ElectionGuard. | 0 | 0.34 | 2020 |
| How not to prove your election outcome | 0 | 0.34 | 2020 |
| A Blind Coupon Mechanism Enabling Veto Voting Over Unreliable Networks | 0 | 0.34 | 2019 |
| Cronus: Everlasting Privacy With Audit And Cast | 0 | 0.34 | 2019 |
| A Description and Proof of a Generalised and Optimised Variant of Wikström's Mixnet. | 0 | 0.34 | 2019 |
| Verified Verifiers for Verifying Elections | 1 | 0.36 | 2019 |
| Improvements in Everlasting Privacy - Efficient and Secure Zero Knowledge Proofs. | 0 | 0.34 | 2019 |
| Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. | 0 | 0.34 | 2019 |
| Forward-Secure Linkable Ring Signatures From Bilinear Maps | 0 | 0.34 | 2018 |
| ITADS: A Real-World Intelligent Tutor to Train Troubleshooting Skills. | 0 | 0.34 | 2018 |
| Forward-Secure Linkable Ring Signatures | 0 | 0.34 | 2018 |
| Graphchain: a Blockchain-Free Scalable Decentralised Ledger. | 0 | 0.34 | 2018 |
| Key Recovery: Inert And Public | 2 | 0.39 | 2017 |
| Bitcoin Unchained. | 0 | 0.34 | 2017 |
| VOTOR: conceptually simple remote voting against tiny tyrants. | 0 | 0.34 | 2016 |
| Truly Multi-authority 'Prêt-à-Voter'. | 0 | 0.34 | 2016 |
| Blockchain-Free Cryptocurrencies. A Rational Framework for Truly Decentralised Fast Transactions. | 0 | 0.34 | 2016 |
