Christian Killer Bruno Rodrigues 0001 Raphael Matile Eder J. Scheid Burkhard Stiller Design and implementation of cast-as-intended verifiability for a blockchain-based voting system. 286-293 2020 SAC https://doi.org/10.1145/3341105.3373884 https://www.wikidata.org/entity/Q130880142 conf/sac/2020 db/conf/sac/sac2020.html#KillerRMSS20