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)

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)