Matthew Casey

According to our database, Matthew Casey authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems.

Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Muntadher Sallal, Steve Schneider, Helen Treharne, Joe Wadsworth, Phil Wright

IEEE Trans. Dependable Secur. Comput., 2024

2020

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger.

Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

An Interoperable Architecture for Usable Password-Less Authentication.

Matthew Casey, Mark Manulis, Christopher J. P. Newton, Robin Savage, Helen Treharne

Proceedings of the Emerging Technologies for Authorization and Authentication, 2020

2019

VMV: Augmenting an Internet Voting System with Selene Verifiability.

Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright

CoRR, 2019