Ben Smyth - RankMe

61 papers A* 1A 5C 2Misc 1Journal 35Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Secrecy and Verifiability: An Introduction to Electronic Voting. CoRR Paul Keeler, Ben Smyth
2024	—	`conf`	DAO Governance Protocols and their Vulnerabilities. BRAINS Aida Manzano Kharman, Ben Smyth
2024	J	`jnl`	Perils of current DAO governance. CoRR Aida Manzano Kharman, Ben Smyth
2023	J	`jnl`	Is your vote truly secret? Ballot Secrecy iff Ballot Independence: Proving necessary conditions and analysing case studies. CoRR Aida Manzano Kharman, Ben Smyth, Freddie Page
2022	J	`jnl`	Surveying definitions of election verifiability. IACR Cryptol. ePrint Arch. Ben Smyth, Michael R. Clarkson
2022	J	`jnl`	Surveying definitions of election verifiability. Inf. Process. Lett. Ben Smyth, Michael R. Clarkson
2021	J	`jnl`	Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios. J. Comput. Secur. Ben Smyth
2021	—	`conf`	Cast-as-Intended: A Formal Definition and Case Studies. Financial Cryptography Workshops Peter B. Rønne, Peter Y. A. Ryan, Ben Smyth
2020	J	`jnl`	Mind the Gap: Individual- and universal-verifiability plus cast-as-intended don't yield verifiable voting systems. IACR Cryptol. ePrint Arch. Ben Smyth
2020	J	`jnl`	Surveying global verifiability. IACR Cryptol. ePrint Arch. Ben Smyth
2020	J	`jnl`	Surveying global verifiability. Inf. Process. Lett. Ben Smyth
2019	C	`conf`	A Critique of Game-Based Definitions of Receipt-Freeness for Voting. ProvSec Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth
2019	J	`jnl`	A critique of game-based definitions of receipt-freeness for voting. IACR Cryptol. ePrint Arch. Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth
2019	J	`jnl`	An Overview of GSMA's M2M Remote Provisioning Specification. CoRR Maxime Meyer, Elizabeth A. Quaglia, Ben Smyth
2019	J	`jnl`	Athena: A verifiable, coercion-resistant voting system with linear complexity. IACR Cryptol. ePrint Arch. Ben Smyth
2019	J	`jnl`	Exploiting re-voting in the Helios election system. Inf. Process. Lett. Maxime Meyer, Ben Smyth
2019	J	`jnl`	Non-malleable encryption with proofs of plaintext knowledge and applications to voting. IACR Cryptol. ePrint Arch. Ben Smyth, Yoshikazu Hanatani
2019	J	`jnl`	Non-malleable encryption with proofs of plaintext knowledge and applications to voting. Int. J. Secur. Networks Ben Smyth, Yoshikazu Hanatani
2019	J	`jnl`	Surveying definitions of coercion resistance. IACR Cryptol. ePrint Arch. Ben Smyth
2019	J	`jnl`	TLS 1.3 for engineers: An exploration of the TLS 1.3 specification and Oracle's Java implementation. CoRR Ben Smyth
2018	J	`jnl`	A foundation for secret, verifiable elections. IACR Cryptol. ePrint Arch. Ben Smyth
2018	—	`conf`	Attacks Against GSMA's M2M Remote Provisioning (Short Paper). Financial Cryptography Maxime Meyer, Elizabeth A. Quaglia, Ben Smyth
2018	—	`conf`	Authentication with Weaker Trust Assumptions for Voting Systems. AFRICACRYPT Elizabeth A. Quaglia, Ben Smyth
2018	J	`jnl`	Authentication with weaker trust assumptions for voting systems. IACR Cryptol. ePrint Arch. Elizabeth A. Quaglia, Ben Smyth
2018	J	`jnl`	Automated reasoning for equivalences in the applied pi calculus with barriers. J. Comput. Secur. Bruno Blanchet, Ben Smyth
2018	A*	`conf`	Modelling and Analysis of a Hierarchy of Distance Bounding Attacks. USENIX Security Symposium Tom Chothia, Joeri de Ruiter, Ben Smyth
2018	J	`jnl`	Secret, verifiable auctions from elections. Theor. Comput. Sci. Elizabeth A. Quaglia, Ben Smyth
2018	—	`conf`	Verifiability of Helios Mixnet. Financial Cryptography Workshops Ben Smyth
2018	J	`jnl`	Verifiability of Helios Mixnet. IACR Cryptol. ePrint Arch. Ben Smyth
2017	J	`jnl`	A short introduction to secrecy and verifiability for elections. CoRR Elizabeth A. Quaglia, Ben Smyth
2017	—	`conf`	CryptoCache: Network caching with confidentiality. ICC Jeremie Leguay, Georgios S. Paschos, Elizabeth A. Quaglia, Ben Smyth
2016	J	`jnl`	Adapting Helios for provable ballot privacy. IACR Cryptol. ePrint Arch. David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
2016	J	`jnl`	An attack against the Helios election system that violates eligibility. CoRR Maxime Meyer, Ben Smyth
2016	A	`conf`	Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers. CSF Bruno Blanchet, Ben Smyth
2015	—	`conf`	Automatically Checking Commitment Protocols in ProVerif without False Attacks. POST Tom Chothia, Ben Smyth, Christopher Staite
2015	J	`jnl`	Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ. IACR Cryptol. ePrint Arch. Ben Smyth, Steven Frink, Michael R. Clarkson
2015	J	`jnl`	Constructing secret, verifiable auction schemes from election schemes. IACR Cryptol. ePrint Arch. Elizabeth A. Quaglia, Ben Smyth
2015	J	`jnl`	Formal analysis of privacy in Direct Anonymous Attestation schemes. Sci. Comput. Program. Ben Smyth, Mark Dermot Ryan, Liqun Chen
2015	Misc	`conf`	NM-CPA Secure Encryption with Proofs of Plaintext Knowledge. IWSEC Ben Smyth, Yoshikazu Hanatani, Hirofumi Muratani
2015	J	`jnl`	Secrecy and independence for election schemes. IACR Cryptol. ePrint Arch. Ben Smyth
2014	J	`jnl`	Ballot secrecy with malicious bulletin boards. IACR Cryptol. ePrint Arch. Ben Smyth
2014	—	`conf`	Hawk and Aucitas: e-Auction Schemes from the Helios and Civitas e-Voting Schemes. Financial Cryptography Adam McCarthy, Ben Smyth, Elizabeth A. Quaglia
2013	J	`jnl`	Attacking and fixing Helios: An analysis of ballot secrecy. J. Comput. Secur. Véronique Cortier, Ben Smyth
2013	A	`conf`	Ballot Secrecy and Ballot Independence Coincide. ESORICS Ben Smyth, David Bernhard
2013	J	`jnl`	Ballot secrecy and ballot independence coincide. IACR Cryptol. ePrint Arch. Ben Smyth, David Bernhard
2013	—	`conf`	Truncating TLS Connections to Violate Beliefs in Web Applications. WOOT Ben Smyth, Alfredo Pironti
2012	—	`conf`	A Fair and Robust Voting System by Broadcast. Electronic Voting Dalia Khader, Ben Smyth, Peter Y. A. Ryan, Feng Hao
2012	J	`jnl`	Formal analysis of privacy in Direct Anonymous Attestation schemes. IACR Cryptol. ePrint Arch. Ben Smyth, Mark Dermot Ryan, Liqun Chen
2012	C	`ed.`	Information Security Practice and Experience - 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings ISPEC Mark Dermot Ryan, Ben Smyth, Guilin Wang
2012	J	`jnl`	Replay attacks that violate ballot secrecy in Helios. IACR Cryptol. ePrint Arch. Ben Smyth
2012	—	`conf`	Secure authenticated key exchange with revocation for smart grid. ISGT Fangming Zhao, Yoshikazu Hanatani, Yuichi Komano, Ben Smyth, Satoshi Ito, Toru Kambayashi
2011	A	`conf`	Adapting Helios for Provable Ballot Privacy. ESORICS David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
2011	—	`ch.`	Applied pi calculus. Formal Models and Techniques for Analyzing Security Protocols Mark Dermot Ryan, Ben Smyth
2011	A	`conf`	Attacking and Fixing Helios: An Analysis of Ballot Secrecy. CSF Véronique Cortier, Ben Smyth
2011	—	`conf`	Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes. Formal Aspects in Security and Trust Ben Smyth, Mark Ryan, Liqun Chen
2011	—	`—`	Formal verification of cryptographic protocols with automated reasoning. Ben Smyth
2010	J	`jnl`	Attacking and fixing Helios: An analysis of ballot secrecy. IACR Cryptol. ePrint Arch. Véronique Cortier, Ben Smyth
2010	A	`conf`	Election Verifiability in Electronic Voting Protocols. ESORICS Steve Kremer, Mark Ryan, Ben Smyth
2010	—	`conf`	Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
2008	—	`conf`	Automatic Verification of Privacy Properties in the Applied pi Calculus. IFIPTM Stéphanie Delaune, Mark Ryan, Ben Smyth
2007	—	`conf`	Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. ESAS Ben Smyth, Mark Ryan, Liqun Chen