Rosario Giustolisi

• Jun 2026 Our recent work on covert channels in Signal Messenger has been accepted at USENIX Security '26! Here is the preprint.
• May 2026 Our recent work on cryptographic choreographies has been accepted at CSF '26! Here is the preprint.
• March 2026 Our work on coercion-resistant electronic exams has been accepted by the Journal of Cybersecurity! Here is the preprint.

My research interests include many aspects of computer security, including

• Design and analysis of cryptographic protocols for decision systems, including voting and exams
• Automated analysis of security protocols in the symbolic model
• Accountability notions in security protocols
• Sociotechnical security aspects of real world systems

Before joining the security group at ITU, I was a postdoc at SICS RISE and a member of the security lab in Lund, Sweden. I received my PhD from the University of Luxembourg where I mainly worked in the design and analysis of secure exam protocols. I wrote a book based on my PhD thesis.

I conceived the Øresund Security Day , a workshop that aims at increasing collaboration among research groups that focus on security in the Øresund area (i.e., Copenhagen + South of Sweden). 

I organise the cybersecurity breakfast talk series at ITU. Feel free to drop me an email if you are (or plan to be) in Copenhagen and would like to give a talk.

For more information on my professional services, check out the Activities section.

I am always interested in supervising new theses ands projects. Below are some topic ideas.

• Implementation of anticensorship mechanisms in Telegram
• Implementation of anticensorship mechanisms in Matrix
• Implementation of coercion-resistant voting systems
• Analysis of digital assessment platforms