Eric Dubuis

According to our database, Eric Dubuis authored at least 10 papers between 1989 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

CHVote: Sixteen Best Practices and Lessons Learned.

Rolf Haenni, Eric Dubuis, Reto E. Koenig, Philipp Locher

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

2018

Process Models for Universally Verifiable Elections.

Rolf Haenni, Eric Dubuis, Reto E. Koenig, Philipp Locher

Proceedings of the Electronic Voting - Third International Joint Conference, 2018

2017

CHVote System Specification.

Rolf Haenni, Reto E. Koenig, Philipp Locher, Eric Dubuis

IACR Cryptol. ePrint Arch., 2017

Pseudo-Code Algorithms for Verifiable Re-encryption Mix-Nets.

Rolf Haenni, Philipp Locher, Reto E. Koenig, Eric Dubuis

Proceedings of the Financial Cryptography and Data Security, 2017

2016

Cast-as-Intended Verification in Electronic Elections Based on Oblivious Transfer.

Rolf Haenni, Reto E. Koenig, Eric Dubuis

Proceedings of the Electronic Voting - First International Joint Conference, 2016

2013

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

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2011

Measures to establish trust in internet voting.

Melanie Volkamer, Oliver Spycher, Eric Dubuis

Proceedings of the ICEGOV 2011, 2011

2010

Coercion-Resistant Hybrid Voting Systems.

Oliver Spycher, Rolf Haenni, Eric Dubuis

Proceedings of the Electronic Voting 2010, 2010

Why Public Registration Boards are Required in E-Voting Systems Based on Threshold Blind Signature Protocols.

Reto E. Koenig, Eric Dubuis, Rolf Haenni

Proceedings of the Electronic Voting 2010, 2010

1989

An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports.

Eric Dubuis

Proceedings of the Formal Description Techniques, 1989