An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports. - Eric Dubuis (FORTE, 1989)

Why Public Registration Boards are Required in E-Voting Systems Based on Threshold Blind Signature Protocols. - Reto E. Koenig; Eric Dubuis; Rolf Haenni (Electronic Voting, 2010)

Coercion-Resistant Hybrid Voting Systems. - Oliver Spycher; Rolf Haenni; Eric Dubuis (Electronic Voting, 2010)

Measures to establish trust in internet voting. - Melanie Volkamer; Oliver Spycher; Eric Dubuis (ICEGOV, 2011)

Verifizierbare Internet-Wahlen an Schweizer Hochschulen mit UniVote. - Eric Dubuis; Stephan Fischli; Rolf Haenni; Severin Hauser; Reto E. Koenig; Philipp Locher; J. Ritter; Philémon von Bergen (GI-Jahrestagung, 2013)

Cast-as-Intended Verification in Electronic Elections Based on Oblivious Transfer. - Rolf Haenni; Reto E. Koenig; Eric Dubuis (E-VOTE-ID, 2016)

Pseudo-Code Algorithms for Verifiable Re-encryption Mix-Nets. - Rolf Haenni; Philipp Locher; Reto E. Koenig; Eric Dubuis (Financial Cryptography Workshops, 2017)

CHVote System Specification. - Rolf Haenni; Reto E. Koenig; Philipp Locher; Eric Dubuis (IACR Cryptol. ePrint Arch., 2017)

Process Models for Universally Verifiable Elections. - Rolf Haenni; Eric Dubuis; Reto E. Koenig; Philipp Locher (E-Vote-ID, 2018)

CHVote: Sixteen Best Practices and Lessons Learned. - Rolf Haenni; Eric Dubuis; Reto E. Koenig; Philipp Locher (E-VOTE-ID, 2020)