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.
Tunney, David (2005) A language based on the Pi-calculus. Master of Science thesis, Dublin City University.
![[up]](/style/images/multi_up.png)
Up a level