VMV: Augmenting an Internet Voting System with Selene Verifiability. - Muntadher Sallal; Steve A. Schneider; Matthew Casey 001; Constantin Catalin Dragan; François Dupressoir; Luke Riley; Helen Treharne; Joe Wadsworth; Phil Wright (CoRR, 2019)

An Interoperable Architecture for Usable Password-Less Authentication. - Matthew Casey 001; Mark Manulis; Christopher J. P. Newton; Robin Savage; Helen Treharne (ETAA@ESORICS, 2020)

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. - Muntadher Sallal; Steve Schneider; Matthew Casey 001; François Dupressoir; Helen Treharne; Constantin Catalin Dragan; Luke Riley; Phil Wright (ICDCS, 2020)

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems. - Mohammed Alsadi 001; Matthew Casey 001; Constantin Catalin Dragan; François Dupressoir; Luke Riley; Muntadher Sallal; Steve Schneider; Helen Treharne; Joe Wadsworth; Phil Wright (IEEE Trans. Dependable Secur. Comput., 2024)