Rolf Haenni

According to our database, Rolf Haenni authored at least 69 papers between 1995 and 2023.

Collaborative distances:

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

2023

Private Internet Voting on Untrusted Voting Devices.

Rolf Haenni, Reto E. Koenig, Philipp Locher

Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

2020

Performance of Shuffling: Taking It to the Limits.

Rolf Haenni, Philipp Locher

Proceedings of the Financial Cryptography and Data Security, 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

2019

Improving the Performance of Cryptographic Voting Protocols.

Rolf Haenni, Philipp Locher, Nicolas Gailly

Proceedings of the Financial Cryptography and Data Security, 2019

2018

Outsourcing Modular Exponentiation in Cryptographic Web Applications.

Pascal Mainini, Rolf Haenni

IACR Cryptol. ePrint Arch., 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

Modeling a Bulletin Board Service Based on Broadcast Channels with Memory.

Severin Hauser, Rolf Haenni

Proceedings of the Financial Cryptography and Data Security, 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

Receipt-free remote electronic elections with everlasting privacy.

Philipp Locher, Rolf Haenni

Ann. des Télécommunications, 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

Coercion-Resistant Internet Voting with Everlasting Privacy.

Philipp Locher, Rolf Haenni, Reto E. Koenig

Proceedings of the Financial Cryptography and Data Security, 2016

A Generic Interface for the Public Bulletin Board Used in UniVote.

Severin Hauser, Rolf Haenni

Proceedings of the 2016 Conference for E-Democracy and Open Government, 2016

2015

Efficiency Evaluation of Cryptographic Protocols for Boardroom Voting.

Oksana Kulyk, Stephan Neumann, Jurlind Budurushi, Melanie Volkamer, Rolf Haenni, Reto E. Koenig, Philémon von Bergen

IACR Cryptol. ePrint Arch., 2015

Verifiable Internet Elections with Everlasting Privacy and Minimal Trust.

Philipp Locher, Rolf Haenni

Proceedings of the E-Voting and Identity - 5th International Conference, 2015

2014

A Lightweight Implementation of a Shuffle Proof for Electronic Voting Systems.

Philipp Locher, Rolf Haenni

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2013

A generic approach to prevent board flooding attacks in coercion-resistant electronic voting schemes.

Rolf Haenni, Reto E. Koenig

Comput. Secur., 2013

Attacking the Verification Code Mechanism in the Norwegian Internet Voting System.

Reto E. Koenig, Philipp Locher, Rolf Haenni

Proceedings of the E-Voting and Identify - 4th International Conference, 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

2012

How to Store some Secrets.

Reto E. Koenig, Rolf Haenni

IACR Cryptol. ePrint Arch., 2012

Achieving Meaningful Efficiency in Coercion-Resistant, Verifiable Internet Voting.

Oliver Spycher, Reto E. Koenig, Rolf Haenni, Michael Schläpfer

Proceedings of the 5th International Conference on Electronic Voting 2012, 2012

2011

Efficient Vote Authorization in Coercion-Resistant Internet Voting.

Michael Schläpfer, Rolf Haenni, Reto E. Koenig, Oliver Spycher

Proceedings of the E-Voting and Identity - Third International Conference, 2011

Secure Internet Voting on Limited Devices with Anonymized DSA Public Keys.

Rolf Haenni, Oliver Spycher

Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2011

Preventing Board Flooding Attacks in Coercion-Resistant Electronic Voting Schemes.

Reto E. Koenig, Rolf Haenni, Stephan Fischli

Proceedings of the Future Challenges in Security and Privacy for Academia and Industry, 2011

A New Approach towards Coercion-Resistant Remote E-Voting in Linear Time.

Oliver Spycher, Reto E. Koenig, Rolf Haenni, Michael Schläpfer

Proceedings of the Financial Cryptography and Data Security, 2011

2010

Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference.

Raouia Ayachi, Nahla Ben Amor, Salem Benferhat, Rolf Haenni

Proceedings of the UAI 2010, 2010

A Novel Protocol to Allow Revocation of Votes in a Hybrid Voting System.

Oliver Spycher, Rolf Haenni

Proceedings of the Information Security South Africa Conference 2010, 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

2009

Probabilistic argumentation.

Rolf Haenni

J. Appl. Log., 2009

Combining Probability and Logic.

Fábio Gagliardi Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory R. Wheeler, Jon Williamson

J. Appl. Log., 2009

Virtual Persons and Identities.

David-Olivier Jaquet-Chiffelle, Emmanuel Benoist, Rolf Haenni, Florent Wenger, Harald Zwingelberg

Proceedings of the Future of Identity in the Information Society, 2009

2008

Possible Semantics for a Common Framework of Probabilistic Logics.

Rolf Haenni, Jan-Willem Romeijn, Gregory R. Wheeler, Jon Williamson

Proceedings of the Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008

A Trust Evaluation Method Based on Logic and Probability Theory.

Reto Kohlas, Jacek Jonczy, Rolf Haenni

Proceedings of the Trust Management II, 2008

2007

Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras.

Michael Wachter, Rolf Haenni, Marc Pouly

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

Compiling Solution Configurations in Semiring Valuation Systems.

Marc Pouly, Rolf Haenni, Michael Wachter

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

A New Model for Public-Key Authentication.

Reto Kohlas, Jacek Jonczy, Rolf Haenni

Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2007

Logical Compilation of Bayesian Networks with Discrete Variables.

Michael Wachter, Rolf Haenni

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Multi-state Directed Acyclic Graphs.

Michael Wachter, Rolf Haenni

Proceedings of the Advances in Artificial Intelligence, 2007

2006

Special Issue of Minds and Machines on Causality, Uncertainty and Ignorance.

Rolf Haenni, Stephan Hartmann

Minds Mach., 2006

Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory.

Rolf Haenni, Stephan Hartmann

Inf. Fusion, 2006

Towards a precise semantics for authenticity and trust.

Reto Kohlas, Jacek Jonczy, Rolf Haenni

Proceedings of the 2006 International Conference on Privacy, 2006

Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions.

Michael Wachter, Rolf Haenni

Proceedings of the Proceedings, 2006

Implementing Credential Networks.

Jacek Jonczy, Rolf Haenni

Proceedings of the Trust Management, 4th International Conference, 2006

Uncover Dempster's Rule Where It Is Hidden.

Rolf Haenni

Proceedings of the 9th International Conference on Information Fusion, 2006

2005

Using probabilistic argumentation for key validation in public-key cryptography.

Rolf Haenni

Int. J. Approx. Reason., 2005

Credential Networks: a General Model for Distributed Trust and Authenticity Management.

Jacek Jonczy, Rolf Haenni

Proceedings of the Third Annual Conference on Privacy, 2005

Towards a Unifying Theory of Logical and Probabilistic Reasoning.

Rolf Haenni

Proceedings of the ISIPTA '05, 2005

Unifying Logical and Probabilistic Reasoning.

Rolf Haenni

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2004

Ordered valuation algebras: a generic framework for approximating inference.

Rolf Haenni

Int. J. Approx. Reason., 2004

2003

Anytime argumentative and abductive reasoning.

Rolf Haenni

Soft Comput., 2003

Probabilistic argumentation systems: a new perspective on the dempster-shafer theory.

Rolf Haenni, Norbert Lehmann

Int. J. Intell. Syst., 2003

Implementing belief function computations.

Rolf Haenni, Norbert Lehmann

Int. J. Intell. Syst., 2003

ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning.

Rolf Haenni, Norbert Lehmann

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography.

Rolf Haenni

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

2002

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.

Rolf Haenni

Inf. Fusion, 2002

Resource bounded and anytime approximation of belief function computations.

Rolf Haenni, Norbert Lehmann

Int. J. Approx. Reason., 2002

Probabilistic Argumentation Systems and Abduction.

Jürg Kohlas, Dritan Berzati, Rolf Haenni

Ann. Math. Artif. Intell., 2002

A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning.

Rolf Haenni

Proceedings of the Soft-Ware 2002: Computing in an Imperfect World, 2002

Argumentative Reasoning with ABEL.

Rolf Haenni

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Cost-bounded argumentation.

Rolf Haenni

Int. J. Approx. Reason., 2001

1999

Propositional Information Systems.

Jürg Kohlas, Rolf Haenni, Serafín Moral

J. Log. Comput., 1999

An Alternative to Outward Propagation for Dempster-Shafer Belief Functions.

Norbert Lehmann, Rolf Haenni

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning.

Jürg Kohlas, Bernhard Anrig, Rolf Haenni, Paul-André Monney

Artif. Intell., 1998

Generating Diagnoses from Conflict Sets.

Rolf Haenni

Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference, 1998

Modeling Information Retrieval with Probabilistic Argumentation Systems.

Justin Picard, Rolf Haenni

Proceedings of the 20th Annual BCS-IRSG Colloquium on IR, 1998

Modelling uncertainty with propositional assumption-based systems.

Rolf Haenni

Proceedings of the Applications of Uncertainty Formalisms, 1998

1997

Assumption-Based Modeling Using ABEL.

Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Norbert Lehmann

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1995

Model-Based Diagnostics Using Hints.

Jürg Kohlas, Paul-André Monney, Rolf Haenni, Norbert Lehmann

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995