Ben Smyth. Verifiability of Helios Mixnet. In Aviv Zohar, Ittay Eyal, Vanessa Teague, Jeremy Clark, Andrea Bracciali, Federico Pintore, Massimiliano Sala, editors, Financial Cryptography and Data Security - FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers. Volume 10958 of Lecture Notes in Computer Science, pages 247-261, Springer, 2018. [doi]
Abstract is missing.