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!
| Publication | Date of Publication | Type |
|---|---|---|
| Surveying definitions of election verifiability Information Processing Letters | 2022-06-03 | Paper |
| Cast-as-intended: a formal definition and case studies | 2022-06-01 | Paper |
| Surveying global verifiability Information Processing Letters | 2020-10-07 | Paper |
| A critique of game-based definitions of receipt-freeness for voting | 2020-01-10 | Paper |
| Exploiting re-voting in the Helios election system Information Processing Letters | 2019-01-18 | Paper |
| NM-CPA secure encryption with proofs of plaintext knowledge | 2018-10-24 | Paper |
| Authentication with weaker trust assumptions for voting systems | 2018-07-17 | Paper |
| Secret, verifiable auctions from elections Theoretical Computer Science | 2018-05-17 | Paper |
Research outcomes over time
This page was built for person: Ben Smyth
