Rolf Haenni

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 17

Top Topics

Modular Exponentiation

Top Venues

Financial Cryptography Workshops

IACR Cryptol. ePrint Arch.

GI-Jahrestagung

Publications

Rolf Haenni, Reto E. Koenig, Philipp Locher
Private Internet Voting on Untrusted Voting Devices. FC Workshops (2023)
Rolf Haenni, Philipp Locher
Performance of Shuffling: Taking It to the Limits. Financial Cryptography Workshops (2020)
Rolf Haenni, Eric Dubuis, Reto E. Koenig, Philipp Locher
CHVote: Sixteen Best Practices and Lessons Learned. E-VOTE-ID (2020)
Rolf Haenni, Philipp Locher, Nicolas Gailly
Improving the Performance of Cryptographic Voting Protocols. Financial Cryptography Workshops (2019)
Rolf Haenni, Eric Dubuis, Reto E. Koenig, Philipp Locher
Process Models for Universally Verifiable Elections. E-Vote-ID (2018)
Pascal Mainini, Rolf Haenni
Outsourcing Modular Exponentiation in Cryptographic Web Applications. Financial Cryptography Workshops (2018)
Severin Hauser, Rolf Haenni
Modeling a Bulletin Board Service Based on Broadcast Channels with Memory. Financial Cryptography Workshops (2018)
Pascal Mainini, Rolf Haenni
Outsourcing Modular Exponentiation in Cryptographic Web Applications. IACR Cryptol. ePrint Arch. 2018 (2018)
Rolf Haenni, Reto E. Koenig, Philipp Locher, Eric Dubuis
CHVote System Specification. IACR Cryptol. ePrint Arch. 2017 (2017)
Rolf Haenni, Philipp Locher, Reto E. Koenig, Eric Dubuis
Pseudo-Code Algorithms for Verifiable Re-encryption Mix-Nets. Financial Cryptography Workshops (2017)
Philipp Locher, Rolf Haenni, Reto E. Koenig
Coercion-Resistant Internet Voting with Everlasting Privacy. Financial Cryptography Workshops (2016)
Rolf Haenni, Reto E. Koenig, Eric Dubuis
Cast-as-Intended Verification in Electronic Elections Based on Oblivious Transfer. E-VOTE-ID (2016)
Severin Hauser, Rolf Haenni
A Generic Interface for the Public Bulletin Board Used in UniVote. CeDEM (2016)
Philipp Locher, Rolf Haenni
Receipt-free remote electronic elections with everlasting privacy. Ann. des Télécommunications 71 (7-8) (2016)
Philipp Locher, Rolf Haenni
Verifiable Internet Elections with Everlasting Privacy and Minimal Trust. VoteID (2015)
Oksana Kulyk, Stephan Neumann, Jurlind Budurushi, Melanie Volkamer, Rolf Haenni, Reto E. Koenig, Philémon von Bergen
Efficiency Evaluation of Cryptographic Protocols for Boardroom Voting. IACR Cryptol. ePrint Arch. 2015 (2015)
Oksana Kulyk, Stephan Neumann, Jurlind Budurushi, Melanie Volkamer, Rolf Haenni, Reto E. Koenig, Philémon von Bergen
Efficiency Evaluation of Cryptographic Protocols for Boardroom Voting. ARES (2015)
Philipp Locher, Rolf Haenni
A Lightweight Implementation of a Shuffle Proof for Electronic Voting Systems. GI-Jahrestagung (2014)
Reto E. Koenig, Philipp Locher, Rolf Haenni
Attacking the Verification Code Mechanism in the Norwegian Internet Voting System. VoteID (2013)
Rolf Haenni, Reto E. Koenig
A generic approach to prevent board flooding attacks in coercion-resistant electronic voting schemes. Comput. Secur. 33 (2013)
Eric Dubuis, Stephan Fischli, Rolf Haenni, Severin Hauser, Reto E. Koenig, Philipp Locher, J. Ritter, Philémon von Bergen
Verifizierbare Internet-Wahlen an Schweizer Hochschulen mit UniVote. GI-Jahrestagung (2013)
Oliver Spycher, Reto E. Koenig, Rolf Haenni, Michael Schläpfer
Achieving Meaningful Efficiency in Coercion-Resistant, Verifiable Internet Voting. Electronic Voting (2012)
Reto E. Koenig, Rolf Haenni
How to Store some Secrets. IACR Cryptol. ePrint Arch. 2012 (2012)
Raouia Ayachi, Nahla Ben Amor, Salem Benferhat, Rolf Haenni
Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference CoRR (2012)
Michael Schläpfer, Rolf Haenni, Reto E. Koenig, Oliver Spycher
Efficient Vote Authorization in Coercion-Resistant Internet Voting. VoteID (2011)
Reto E. Koenig, Rolf Haenni, Stephan Fischli
Preventing Board Flooding Attacks in Coercion-Resistant Electronic Voting Schemes. SEC (2011)
Oliver Spycher, Reto E. Koenig, Rolf Haenni, Michael Schläpfer
A New Approach towards Coercion-Resistant Remote E-Voting in Linear Time. Financial Cryptography (2011)
Rolf Haenni, Oliver Spycher
Secure Internet Voting on Limited Devices with Anonymized DSA Public Keys. EVT/WOTE (2011)
Raouia Ayachi, Nahla Ben Amor, Salem Benferhat, Rolf Haenni
Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference. UAI (2010)
Oliver Spycher, Rolf Haenni, Eric Dubuis
Coercion-Resistant Hybrid Voting Systems. Electronic Voting (2010)
Oliver Spycher, Rolf Haenni
A Novel Protocol to Allow Revocation of Votes in a Hybrid Voting System. ISSA (2010)
Reto E. Koenig, Eric Dubuis, Rolf Haenni
Why Public Registration Boards are Required in E-Voting Systems Based on Threshold Blind Signature Protocols. Electronic Voting (2010)
Fábio Gagliardi Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory R. Wheeler, Jon Williamson
Combining Probability and Logic. J. Appl. Log. 7 (2) (2009)
Rolf Haenni
Probabilistic argumentation. J. Appl. Log. 7 (2) (2009)
Reto Kohlas, Jacek Jonczy, Rolf Haenni
A Trust Evaluation Method Based on Logic and Probability Theory. IFIPTM (2008)
Michael Wachter, Rolf Haenni
Multi-state Directed Acyclic Graphs. Canadian Conference on AI (2007)
Michael Wachter, Rolf Haenni, Marc Pouly
Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras. MICAI (2007)
Marc Pouly, Rolf Haenni, Michael Wachter
Compiling Solution Configurations in Semiring Valuation Systems. MICAI (2007)
Michael Wachter, Rolf Haenni
Logical Compilation of Bayesian Networks with Discrete Variables. ECSQARU (2007)
Reto Kohlas, Jacek Jonczy, Rolf Haenni
A New Model for Public-Key Authentication. KiVS (2007)
Rolf Haenni
Uncover Dempster's Rule Where It Is Hidden. FUSION (2006)
Rolf Haenni, Stephan Hartmann
Special Issue of Minds and Machines on Causality, Uncertainty and Ignorance. Minds Mach. 16 (3) (2006)
Michael Wachter, Rolf Haenni
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. KR (2006)
Jacek Jonczy, Rolf Haenni
Implementing Credential Networks. iTrust (2006)
Rolf Haenni, Stephan Hartmann
Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory. Inf. Fusion 7 (4) (2006)
Reto Kohlas, Jacek Jonczy, Rolf Haenni
Towards a precise semantics for authenticity and trust. PST (2006)
Rolf Haenni
Using probabilistic argumentation for key validation in public-key cryptography. Int. J. Approx. Reason. 38 (3) (2005)
Jacek Jonczy, Rolf Haenni
Credential Networks: a General Model for Distributed Trust and Authenticity Management. PST (2005)
Rolf Haenni
Towards a Unifying Theory of Logical and Probabilistic Reasoning. ISIPTA (2005)
Rolf Haenni
Unifying Logical and Probabilistic Reasoning. ECSQARU (2005)
Rolf Haenni
Ordered valuation algebras: a generic framework for approximating inference. Int. J. Approx. Reason. 37 (1) (2004)
Rolf Haenni, Norbert Lehmann
Implementing belief function computations. Int. J. Intell. Syst. 18 (1) (2003)
Rolf Haenni
Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography. ECSQARU (2003)
Rolf Haenni
Anytime argumentative and abductive reasoning. Soft Comput. 8 (2) (2003)
Rolf Haenni, Norbert Lehmann
ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning. ECSQARU (2003)
Rolf Haenni, Norbert Lehmann
Probabilistic argumentation systems: a new perspective on the dempster-shafer theory. Int. J. Intell. Syst. 18 (1) (2003)
Rolf Haenni
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning. Soft-Ware (2002)
Rolf Haenni, Norbert Lehmann
Resource bounded and anytime approximation of belief function computations. Int. J. Approx. Reason. 31 (1-2) (2002)
Rolf Haenni
Argumentative Reasoning with ABEL. JELIA (2002)
Rolf Haenni
Are alternatives to Dempster's rule of combination real alternatives?: Comments on "About the belief function combination and the conflict management problem" - Lefevre et al. Inf. Fusion 3 (3) (2002)
Jürg Kohlas, Dritan Berzati, Rolf Haenni
Probabilistic Argumentation Systems and Abduction. Ann. Math. Artif. Intell. 34 (1-3) (2002)
Rolf Haenni
Cost-bounded argumentation. Int. J. Approx. Reason. 26 (2) (2001)
Jürg Kohlas, Rolf Haenni, Serafín Moral
Propositional Information Systems. J. Log. Comput. 9 (5) (1999)
Norbert Lehmann, Rolf Haenni
An Alternative to Outward Propagation for Dempster-Shafer Belief Functions. ESCQARU (1999)
Rolf Haenni
Generating Diagnoses from Conflict Sets. FLAIRS Conference (1998)
Jürg Kohlas, Bernhard Anrig, Rolf Haenni, Paul-André Monney
Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning. Artif. Intell. 104 (1-2) (1998)
Justin Picard, Rolf Haenni
Modeling Information Retrieval with Probabilistic Argumentation Systems. BCS-IRSG Annual Colloquium on IR Research (1998)
Rolf Haenni
Modelling uncertainty with propositional assumption-based systems. Applications of Uncertainty Formalisms (1998)
Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Norbert Lehmann
Assumption-Based Modeling Using ABEL. ECSQARU-FAPR (1997)
Jürg Kohlas, Paul-André Monney, Rolf Haenni, Norbert Lehmann
Model-Based Diagnostics Using Hints. ECSQARU (1995)