1. 2022. User Manual for the Verificatum Mix-Net. Version 3.0.4 https://www.verificatum.org/files/vmnum-3.1.0.pdf. 2022. User Manual for the Verificatum Mix-Net. Version 3.0.4 https://www.verificatum.org/files/vmnum-3.1.0.pdf.
2. Michel Abdalla Tor Erling Bjørstad Carlos Cid Benedikt Gierlichs Andreas Hülsing Atul Luykx Kenneth G. Paterson Bart Preneel Ahmad-Reza Sadeghi Terence Spies Martijn Stam Michael Ward Bogdan Warinschi and Gaven Watson. 2018. Algorithms Key Size and Protocols Report. https://www.ecrypt.eu.org/csa/documents/D5.4-FinalAlgKeySizeProt.pdf. Michel Abdalla Tor Erling Bjørstad Carlos Cid Benedikt Gierlichs Andreas Hülsing Atul Luykx Kenneth G. Paterson Bart Preneel Ahmad-Reza Sadeghi Terence Spies Martijn Stam Michael Ward Bogdan Warinschi and Gaven Watson. 2018. Algorithms Key Size and Protocols Report. https://www.ecrypt.eu.org/csa/documents/D5.4-FinalAlgKeySizeProt.pdf.
3. Does Fiat-Shamir Require a Cryptographic Hash Function?
4. Developing a Personal Voting Machine for the Estonian Internet Voting System
5. Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting