| 2023 | FC | Private Internet Voting on Untrusted Voting Devices. | Rolf Haenni, Reto E. Koenig, Philipp Locher |
| 2020 | FC | Performance of Shuffling: Taking It to the Limits. | Rolf Haenni, Philipp Locher |
| 2019 | FC | Improving the Performance of Cryptographic Voting Protocols. | Rolf Haenni, Philipp Locher, Nicolas Gailly |
| 2018 | FC | Modeling a Bulletin Board Service Based on Broadcast Channels with Memory. | Severin Hauser, Rolf Haenni |
| 2018 | FC | Outsourcing Modular Exponentiation in Cryptographic Web Applications. | Pascal Mainini, Rolf Haenni |
| 2017 | FC | Pseudo-Code Algorithms for Verifiable Re-encryption Mix-Nets. | Rolf Haenni, Philipp Locher, Reto E. Koenig, Eric Dubuis |
| 2016 | FC | Coercion-Resistant Internet Voting with Everlasting Privacy. | Philipp Locher, Rolf Haenni, Reto E. Koenig |
| 2014 | GI | A Lightweight Implementation of a Shuffle Proof for Electronic Voting Systems. | Philipp Locher, Rolf Haenni |
| 2013 | GI | Verifizierbare Internet-Wahlen an Schweizer Hochschulen mit UniVote. | Eric Dubuis, Stephan Fischli, Rolf Haenni, Severin Hauser, Reto E. Koenig, Philipp Locher, J. Ritter, Philmon von Bergen |
| 2011 | FC | A New Approach towards Coercion-Resistant Remote E-Voting in Linear Time. | Oliver Spycher, Reto E. Koenig, Rolf Haenni, Michael Schlpfer |
| 2011 | SEC | Preventing Board Flooding Attacks in Coercion-Resistant Electronic Voting Schemes. | Reto E. Koenig, Rolf Haenni, Stephan Fischli |
| 2010 | UAI | Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference. | Raouia Ayachi, Nahla Ben Amor, Salem Benferhat, Rolf Haenni |
| 2007 | AI | Multi-state Directed Acyclic Graphs. | Michael Wachter, Rolf Haenni |
| 2007 | ECSQARU | Logical Compilation of Bayesian Networks with Discrete Variables. | Michael Wachter, Rolf Haenni |
| 2006 | FUSION | Uncover Dempster's Rule Where It Is Hidden. | Rolf Haenni |
| 2006 | KR | Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. | Michael Wachter, Rolf Haenni |
| 2006 | PST | Towards a precise semantics for authenticity and trust. | Reto Kohlas, Jacek Jonczy, Rolf Haenni |
| 2005 | ECSQARU | Unifying Logical and Probabilistic Reasoning. | Rolf Haenni |
| 2005 | PST | Credential Networks: a General Model for Distributed Trust and Authenticity Management. | Jacek Jonczy, Rolf Haenni |
| 2003 | ECSQARU | Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography. | Rolf Haenni |
| 2003 | ECSQARU | ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning. | Rolf Haenni, Norbert Lehmann |
| 2002 | JELIA | Argumentative Reasoning with ABEL. | Rolf Haenni |
| 1999 | ECSQARU | An Alternative to Outward Propagation for Dempster-Shafer Belief Functions. | Norbert Lehmann, Rolf Haenni |
| 1998 | ECIR | Modeling Information Retrieval with Probabilistic Argumentation Systems. | Justin Picard, Rolf Haenni |
| 1998 | FlAIRS | Generating Diagnoses from Conflict Sets. | Rolf Haenni |
| 1997 | ECSQARU | Assumption-Based Modeling Using ABEL. | Bernhard Anrig, Rolf Haenni, Jrg Kohlas, Norbert Lehmann |
| 1995 | ECSQARU | Model-Based Diagnostics Using Hints. | Jrg Kohlas, Paul-Andr Monney, Rolf Haenni, Norbert Lehmann |