Rolf Haenni

发表

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

Rolf Haenni, Norbert Lehmann, R. Haenni, 2003, Int. J. Intell. Syst..

Networks for Statistical Inference

Jan-Willem Romeijn, Rolf Haenni, Gregory Wheeler, 2011 .

Networks for Probabilistic Argumentation

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2011 .

Towards a precise semantics for authenticity and trust

Rolf Haenni, Reto Kohlas, Jacek Jonczy, 2006, PST.

Resource bounded and anytime approximation of belief function computations

Rolf Haenni, Norbert Lehmann, R. Haenni, 2002, Int. J. Approx. Reason..

Networks for Evidential Probability

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2011 .

Modeling a Bulletin Board Service Based on Broadcast Channels with Memory

Rolf Haenni, Severin Hauser, 2018, Financial Cryptography Workshops.

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

Rolf Haenni, Reto E. Koenig, R. Haenni, 2013, Comput. Secur..

Implementing belief function computations

Rolf Haenni, Norbert Lehmann, 2003, Int. J. Intell. Syst..

CHVote System Specification

Rolf Haenni, Reto E. Koenig, Eric Dubuis, 2017, IACR Cryptol. ePrint Arch..

FIDIS of Identity in the Information Society

Harald Zwingelberg, Rolf Haenni, Thierry Nabeth, 2008 .

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

Rolf Haenni, Michael Wachter, 2006, KR.

An Alternative to Outward Propagation for Dempster-Shafer Belief Functions

Rolf Haenni, Norbert Lehmann, 1999, ESCQARU.

ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning

Rolf Haenni, Norbert Lehmann, R. Haenni, 2003, ECSQARU.

Verifiable Internet Elections with Everlasting Privacy and Minimal Trust

Rolf Haenni, Philipp Locher, 2015, VoteID.

Unifying Logical and Probabilistic Reasoning

Rolf Haenni, R. Haenni, 2005, ECSQARU.

Networks for Objective Bayesianism

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2011 .

Reliability Evaluation and Diagnostics with Propositional Directed Acyclic Graphs

Rolf Haenni, Jacek Jonczy, 2009 .

Two-Layer Models for Managing Authenticity and Trust

Rolf Haenni, Reto Kohlas, Jacek Jonczy, 2007 .

Generating Diagnoses from Conflict Sets

Rolf Haenni, R. Haenni, 1998, FLAIRS.

Probabilistic argumentation

Rolf Haenni, 2009, J. Appl. Log..

Probabilistic Argumentation Systems and Abduction

Jürg Kohlas, Rolf Haenni, Dritan Berzati, 2002, Annals of Mathematics and Artificial Intelligence.

Coercion-Resistant Hybrid Voting Systems

Rolf Haenni, Oliver Spycher, Eric Dubuis, 2010, Electronic Voting.

Probabilistic Logics and Probabilistic Networks

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2010 .

Improving the Performance of Cryptographic Voting Protocols

Rolf Haenni, Nicolas Gailly, Philipp Locher, 2019, Financial Cryptography Workshops.

Argumentative Reasoning with ABEL

Rolf Haenni, 2002, JELIA.

Attacking the Verification Code Mechanism in the Norwegian Internet Voting System

Rolf Haenni, Reto E. Koenig, Philipp Locher, 2013, VoteID.

Assumption-Based Modeling Using ABEL

Jürg Kohlas, Rolf Haenni, Norbert Lehmann, 1997, ECSQARU-FAPR.

Coercion-Resistant Internet Voting with Everlasting Privacy

Rolf Haenni, Reto E. Koenig, Philipp Locher, 2016, Financial Cryptography Workshops.

Combining Probability and Logic

Federica Russo, Fábio Gagliardi Cozman, Jan-Willem Romeijn, 2009, J. Appl. Log..

ABEL – A New Language for Assumption-Based Evidential Reasoning under Uncertainty∗

Rolf Haenni, Bernhard Anrig, R. Haenni, 2003 .

Probabilistic logic and probabilistic neworks

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2010 .

Standard Probabilistic Semantics

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2011 .

Possible Semantics for a Common Framework of Probabilistic Logics

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2008, Interval / Probabilistic Uncertainty and Non-Classical Logics.

Compiling Solution Configurations in Semiring Valuation Systems

Rolf Haenni, Marc Pouly, Michael Wachter, 2007, MICAI.

Virtual Persons and Identities

Harald Zwingelberg, David-Olivier Jaquet-Chiffelle, Rolf Haenni, 2009, The Future of Identity in the Information Society.

Model-Based Diagnostics and Probabilistic Assumption-Based Reasoning

Jürg Kohlas, Paul-André Monney, Rolf Haenni, 1998, Artif. Intell..

Anytime argumentative and abductive reasoning

Rolf Haenni, 2003, Soft Comput..

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

Rolf Haenni, Reto E. Koenig, Eric Dubuis, 2016, E-VOTE-ID.

A Trust Evaluation Method Based on Logic and Probability Theory

Rolf Haenni, Reto Kohlas, Jacek Jonczy, 2008, IFIPTM.

A New Model for Public-Key Authentication

Rolf Haenni, Reto Kohlas, Jacek Jonczy, 2007, KiVS.

A novel protocol to allow revocation of votes a hybrid voting system

Rolf Haenni, Oliver Spycher, R. Haenni, 2010, 2010 Information Security for South Africa.

A Lightweight Implementation of a Shuffle Proof for Electronic Voting Systems

Rolf Haenni, Philipp Locher, 2014, GI-Jahrestagung.

Computing probabilities of events in Bayesian networks

Rolf Haenni, Norbert Lehmann, Jürg Kohlas, 2002 .

Networks for the Standard Semantics

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2011 .

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, R. Haenni, 2002, Inf. Fusion.

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

Rolf Haenni, Reto E. Koenig, Eric Dubuis, 2010, Electronic Voting.

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

Rolf Haenni, Stephan Hartmann, S. Hartmann, 2006, Inf. Fusion.

Reasoning with Finite Set Constraints

Rolf Haenni, Norbert Lehmann, 1998 .

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

Rolf Haenni, Jacek Jonczy, 2005, PST.

Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras

Rolf Haenni, Marc Pouly, Michael Wachter, 2007, MICAI.

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

Rolf Haenni, R. Haenni, 2003, ECSQARU.

Network Reliability Evaluation with Propositional Directed Acyclic Graphs

Rolf Haenni, Jacez Jonczy, R. Haenni, 2008 .

Efficiency Evaluation of Cryptographic Protocols for Boardroom Voting

Melanie Volkamer, Rolf Haenni, Reto E. Koenig, 2015, 2015 10th International Conference on Availability, Reliability and Security.

Cost-bounded argumentation

Rolf Haenni, R. Haenni, 2001, Int. J. Approx. Reason..

Ordered valuation algebras: a generic framework for approximating inference

Rolf Haenni, R. Haenni, 2004, Int. J. Approx. Reason..

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

Rolf Haenni, Stephan Hartmann, 2006, Minds and Machines.

A New Approach to Network Reliability

Rolf Haenni, Jacek Jonczy, 2007 .

A Generic Interface for the Public Bulletin Board Used in UniVote

Rolf Haenni, Severin Hauser, 2016, 2016 Conference for E-Democracy and Open Government (CeDEM).

Achieving Meaningful Efficiency in Coercion-Resistant, Verifiable Internet Voting

Rolf Haenni, Oliver Spycher, Reto E. Koenig, 2012, Electronic Voting.

Logical relations in a statistical problem

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2009 .

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

Rolf Haenni, Reto E. Koenig, Eric Dubuis, 2017, Financial Cryptography Workshops.

Algorithms & Data Structures

Rolf Haenni, 2008 .

Research on E-Voting Technologies

Berner Fachhochschule, Ulrich Ultes-Nitsche, Rolf Haenni, 2008 .

Modeling Information Retrieval with Probabilistic Argumentation Systems

Rolf Haenni, Justin Picard, R. Haenni, 1998, BCS-IRSG Annual Colloquium on IR Research.

Towards a Unifying Theory of Logical and Probabilistic Reasoning

Rolf Haenni, R. Haenni, 2005, ISIPTA.

Probabilistic Argumentation Systems

Rolf Haenni, Norbert Lehmann, Jürg Kohlas, 2003 .

Receipt-free remote electronic elections with everlasting privacy

Rolf Haenni, Philipp Locher, 2016, Ann. des Télécommunications.

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

Rolf Haenni, Oliver Spycher, Reto E. Koenig, 2011, Financial Cryptography.

Efficient Vote Authorization in Coercion-Resistant Internet Voting

Rolf Haenni, Oliver Spycher, Reto E. Koenig, 2011, VoteID.

Uncover Dempster's Rule Where It Is Hidden

Rolf Haenni, R. Haenni, 2006, 2006 9th International Conference on Information Fusion.

Interval / probabilistic uncertainty and non-classical logics

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2008 .

Reliability and Diagnostics of Modular Systems: a New Probabilistic Approach

Rolf Haenni, Jacek Jonczy, Michael Wachter, 2006 .

Logical Compilation of Bayesian Networks with Discrete Variables

Rolf Haenni, Michael Wachter, R. Haenni, 2007, ECSQARU.

Aggregating Referee Scores: an Algebraic Approach

Rolf Haenni, 2008 .

Kryptographie in Theorie und Praxis

Rolf Haenni, 2006 .

E-Voting and Identity

Rolf Haenni, Reto E. Koenig, Douglas Wikström, 2015, Lecture Notes in Computer Science.

Multi-state Directed Acyclic Graphs

Rolf Haenni, Michael Wachter, R. Haenni, 2007, Canadian Conference on AI.

A New Approach to PGP's Web of Trust

Rolf Haenni, Jacek Jonczy, 2007 .

Networks for Bayesian Statistical Inference

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2011 .

Modelling uncertainty with propositional assumption-based systems

Rolf Haenni, 1998, Applications of Uncertainty Formalisms.

CHVote: Sixteen Best Practices and Lessons Learned

Rolf Haenni, Reto E. Koenig, Eric Dubuis, 2020, E-VOTE-ID.

A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning

Rolf Haenni, 2002, Soft-Ware.

Credal and Bayesian Networks

Jan-Willem Romeijn, Rolf Haenni, Gregory Wheeler, 2011 .

Performance of Shuffling: Taking It to the Limits

Rolf Haenni, Philipp Locher, 2020, Financial Cryptography Workshops.

Preventing Board Flooding Attacks in Coercion-Resistant Electronic Voting Schemes

Rolf Haenni, Reto E. Koenig, Stephan Fischli, 2011, SEC.

Model-Based Diagnostics Using Hints

Jürg Kohlas, Paul-André Monney, Rolf Haenni, 1995, ECSQARU.

Outsourcing Modular Exponentiation in Cryptographic Web Applications

Pascal Mainini, Rolf Haenni, 2018, IACR Cryptol. ePrint Arch..

Implementing Broadcast Channels with Memory for Electronic Voting Systems

Rolf Haenni, Severin Hauser, 2016 .

Secure Internet Voting on Limited Devices with Anonymized DSA Public Keys

Rolf Haenni, Oliver Spycher, R. Haenni, 2011, EVT/WOTE.

Using probabilistic argumentation for key validation in public-key cryptography

Rolf Haenni, 2005, Int. J. Approx. Reason..

Voting over the Internet on an Insecure Platform

Rolf Haenni, Reto E. Koenig, 2014 .

Implementing Credential Networks

Rolf Haenni, Jacek Jonczy, R. Haenni, 2006, iTrust.

Bayesian Statistical Inference

Jan-Willem Romeijn, Rolf Haenni, Jon Williamson, 2011 .

How to Store some Secrets

Rolf Haenni, Reto E. Koenig, 2012, IACR Cryptol. ePrint Arch..

Propositional Information Systems

Jürg Kohlas, Serafín Moral, Rolf Haenni, 1999, J. Log. Comput..

Process Models for Universally Verifiable Elections

Rolf Haenni, Reto E. Koenig, Eric Dubuis, 2018, E-Vote-ID.

Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference pdf

Salem Benferhat, Nahla Ben Amor, Rolf Haenni, 2010, UAI.

Verifizierbare Internet-Wahlen an Schweizer Hochschulen mit UniVote

Rolf Haenni, Reto E. Koenig, Severin Hauser, 2013, GI-Jahrestagung.

A Probabilistic Trust Model for GnuPG

Rolf Haenni, Jacek Jonczy, Markus Wüthrich, 2006 .

Are Alternatives to Dempster ’ s Rule of Combination Alternatives ?

Rolf Haenni, R. Haenni, 2001 .

Probabilistic Equivalence Checking with Propositional DAGs

Rolf Haenni, Michael Wachter, 2006 .

Logical Compilation of Bayesian Networks

Rolf Haenni, Michael Wachter, 2006 .

Climbing the Hills of Compiled Credal Networks

Rolf Haenni, 2007 .

A General Model for Partially Reliable Information Sources

Stephan Hartmann, Rolf Haenni, 2004 .

Non-Additive Degrees of Belief

Rolf Haenni, R. Haenni, 2009 .

Assumption-Based Reasoning with Algebraic Clauses

Rolf Haenni, 1997 .

Assumption-Based Reasoning with Finite Set Constraints

Rolf Haenni, Norbert Lehmann, 1998 .

Ignoring Ignorance Is Ignorant

Rolf Haenni, 2003 .