16 citations · 81 across the 17 of their papers we have counts for
20 papers
A Declaration of Software Independence
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider +2
A voting system should not merely report the outcome: it should also provide sufficient evidence to convince reasonable observers that the reported outcome is correct. Many deploye…
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim
Voting procedures are designed and implemented by people, for people, and with significant human involvement. Thus, one should take into account the human factors in order to compr…
PakeMail: authentication and key management in decentralized secure email and messaging via PAKE
Itzel Vazquez Sandoval, Arash Atashpendar, Gabriele Lenzini +1
We propose the use of PAKE for achieving and enhancing entity authentication (EA) and key management (KM) in the context of decentralized end-to-end encrypted email and secure mess…
User Experience Design for E-Voting: How mental models align with security mechanisms
Marie-Laure Zollinger, Verena Distler, Peter B. Roenne +3
This paper presents a mobile application for vote-casting and vote-verification based on the Selene e-voting protocol and explains how it was developed and implemented using the Us…
Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability
Peter B. Roenne, Peter Y. A Ryan, Marie-Laure Zollinger
Selene is an e-voting protocol that allows voters to directly check their individual vote, in cleartext, in the final tally via a tracker system, while providing good coercion miti…
Convergence Voting: From Pairwise Comparisons to Consensus
Gergei Bana, Wojciech Jamroga, David Naccache +1
An important aspect of AI design and ethics is to create systems that reflect aggregate preferences of the society. To this end, the techniques of social choice theory are often ut…