Ben Smyth

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Surveying definitions of election verifiability
Information Processing Letters
2022-06-03Paper
Cast-as-intended: a formal definition and case studies2022-06-01Paper
Surveying global verifiability
Information Processing Letters
2020-10-07Paper
A critique of game-based definitions of receipt-freeness for voting2020-01-10Paper
Exploiting re-voting in the Helios election system
Information Processing Letters
2019-01-18Paper
NM-CPA secure encryption with proofs of plaintext knowledge2018-10-24Paper
Authentication with weaker trust assumptions for voting systems2018-07-17Paper
Secret, verifiable auctions from elections
Theoretical Computer Science
2018-05-17Paper


Research outcomes over time


This page was built for person: Ben Smyth