research
∙
10/19/2022
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
Voting procedures are designed and implemented by people, for people, an...
share
research
∙
07/13/2021
PakeMail: authentication and key management in decentralized secure email and messaging via PAKE
We propose the use of PAKE for achieving and enhancing entity authentica...
research
∙
05/31/2021
User Experience Design for E-Voting: How mental models align with security mechanisms
This paper presents a mobile application for vote-casting and vote-verif...
research
∙
05/31/2021
Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability
Selene is an e-voting protocol that allows voters to directly check thei...
research
∙
02/03/2021
Convergence Voting: From Pairwise Comparisons to Consensus
An important aspect of AI design and ethics is to create systems that re...
research
∙
11/16/2020
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips
The COVID-19 pandemic has influenced virtually all aspects of our lives....
research
∙
07/24/2020
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal
The design and implementation of an e-voting system is a challenging tas...
research
∙
07/17/2020
Preservation of DNA Privacy During the Large Scale Detection of COVID-19
As humanity struggles to contain the global COVID-19 pandemic, privacy c...
research
∙
08/14/2019
Risk-Limiting Tallies
Many voter-verifiable, coercion-resistant schemes have been proposed, bu...
research
∙
01/08/2019
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme
We present an approach for performing the tallying work in the coercion-...
research
∙
12/05/2018
Revisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation
We revisit the notion of deniability in quantum key exchange (QKE), a to...
research
∙
07/30/2018
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics
From the output produced by a memoryless deletion channel from a uniform...
research
∙
02/07/2018
CryptoRec: Secure Recommendations as a Service
Recommender systems rely on large datasets of historical data and entail...
research
∙
02/02/2018