International Association for Cryptologic Research

International Association
for Cryptologic Research

IACR News item: 23 July 2019

Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth
ePrint Report ePrint Report
We analyse three game-based definitions of receipt-freeness; uncovering soundness issues with two of the definitions and completeness issues with all three. Hence, two of the definitions are too weak, i.e., satisfiable by voting schemes that are not intuitively receipt-free. More precisely, those schemes need not even satisfy ballot secrecy. Consequently, the definitions are satisfiable by schemes that reveal how voters' vote. Moreover, we find that each definition is limited in scope. Beyond soundness and completeness issues, we show that each definition captures a different attacker model and we examine some of those differences.
Expand

Additional news items may be found on the IACR news page.