11 citations · 44 across the 24 of their papers we have counts for
5 papers · 1 filter
Pretty Good Strategies for Benaloh Challenge
Wojciech Jamroga
Benaloh challenge allows the voter to audit the encryption of her vote, and in particular to check whether the vote has been represented correctly. An interesting analysis of the m…
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal
Wojciech Jamroga, Yan Kim, Damian Kurpiewski +1
The design and implementation of an e-voting system is a challenging task. Formal analysis can be of great help here. In particular, it can lead to a better understanding of how th…
Risk-Limiting Tallies
Wojciech Jamroga, Peter B. Roenne, Peter Y. A. Ryan +1
Many voter-verifiable, coercion-resistant schemes have been proposed, but even the most carefully designed systems necessarily leak information via the announced result. In corner…
Information Security as Strategic (In)effectivity
Wojciech Jamroga, Masoud Tabatabaei
Security of information flow is commonly understood as preventing any information leakage, regardless of how grave or harmless consequences the leakage can have. In this work, we s…
On Defendability of Security Properties
Wojciech Jamroga, Matthijs Melissen, Henning Schnoor
We study the security of interaction protocols when incentives of participants are taken into account. We begin by formally defining correctness of a protocol, given a notion of ra…