Christian Killer: Design and Implementation of Cast-as-Intended Verifiability for a Blockchain-Based Voting System; The 35th ACM Symposium on Applied Computing (Fully Virtual Event), Brno, Czech Republic, Virtually, Association for Computing Machinery, New York, NY, USA, April 2020, doi:10.1145/3341105.3373884 URL: https://doi.org/10.1145/3341105.3373884.