Loretta Ilaria Mancini

Photograph of Loretta Mancini

Role: Research Student

Phone: Not available
Email: L.Mancini@cs.bham.ac.uk
Room: 206 (Y9 Computer Science Building)
Web Page: http://www.cs.bham.ac.uk/~lxm619/

I am a PhD student and international students representative in the SRSCC committee at the School of Computer Science at the University of Birmingham. I work under the supervision of Dr. Eike Ritter and Dr. Myrto Arapinis. I work on security protocol verification in pervasive systems within the EPSRC VPS project. I am a member of the Cryptoforma network for formal methods and cryptography. My research mainly focuses on the verification of privacy related properties more specifically anonymity and unlinkability. Although the development of formal methods for the verification of security protocols is the main goal of my research, I draw inspiration and motivation from real world case studies. In particular, mobile telephony protocols proved to be interesting and challenging from the privacy verification point of view and for the develepment of the theoretical tools needed for the verification of unlinkability and anonymity in stateful systems.