Rolf Haenni - RankMe

74 papers A* 1A 1B 2C 8Misc 2Journal 22Unranked 35

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