Ben Smyth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
2010–2021
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FC | Cast-as-Intended: A Formal Definition and Case Studies. | Peter B. Rnne, Peter Y. A. Ryan, Ben Smyth |
| 2019 | ProvSec | A Critique of Game-Based Definitions of Receipt-Freeness for Voting. | Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth |
| 2018 | FC | Attacks Against GSMA's M2M Remote Provisioning (Short Paper). | Maxime Meyer, Elizabeth A. Quaglia, Ben Smyth |
| 2018 | FC | Verifiability of Helios Mixnet. | Ben Smyth |
| 2015 | IWSEC | NM-CPA Secure Encryption with Proofs of Plaintext Knowledge. | Ben Smyth, Yoshikazu Hanatani, Hirofumi Muratani |
| 2014 | FC | Hawk and Aucitas: e-Auction Schemes from the Helios and Civitas e-Voting Schemes. | Adam McCarthy, Ben Smyth, Elizabeth A. Quaglia |
| 2013 | ESORICS | Ballot Secrecy and Ballot Independence Coincide. | Ben Smyth, David Bernhard |
| 2011 | ESORICS | Adapting Helios for Provable Ballot Privacy. | David Bernhard, Vronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi |
| 2010 | ESORICS | Election Verifiability in Electronic Voting Protocols. | Steve Kremer, Mark Ryan, Ben Smyth |