Supervisors: Gray, David

Doctoral Thesis

Butin, Denis Frédéric (2012) Inductive analysis of security protocols in Isabelle/HOL with applications to electronic voting. PhD thesis, Dublin City University.

Graham, Michelle (2010) A System for the Verication of Location Claims. PhD thesis, Dublin City University.

Dunne, Cameron R. (2009) An architecture and protocol, an access control model, and a sighting blurring algorithm for improving users' security in the context of location based services operating over the internet. PhD thesis, Dublin City University.

Candebat, Thibault (2005) A secure architecture enabling end-user privacy in the context of commercial wide-area location-enhanced web services. PhD thesis, Dublin City University.