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

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.