Publications [authors are normally listed in alphabetical order]

2026

• USENIX Giustolisi R., Lenzini G., Li C., Rakeei M., Rupp A., Crypto Wars in Secure Messaging: Covert Channels in Signal Despite Leaked Keys. In 35th USENIX Security Symposium. USENIX Association.
• CSF Moedersheim S., Lund S., Bruni A., Carbone M., Giustolisi R., Cryptographic Choreographies. In 39th IEEE Computer Security Foundations Symposium (CSF). IEEE Computer Society.
• JoC Rakeei M., Giustolisi R., Lenzini G., Mahmoud D., Dreier J., Lafourcade P. Secure and Verifiable Coercion-Resistant Electronic Exams. Journal of Cybersecurity, Oxford University Press.
• DBSec Giustolisi R., Heydari B. E., Marletta D., Sheikhi G. M., Anonymous yet Verifiable Privacy-preserving Demand Response. In 40th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy. Springer.
• E-VOTE ID Giustolisi R., Ryan P.Y.A., Sheikhi G. M. A Simple Protocol for Tracker Based Voting. In 11th International Joint Conference on Electronic Voting. Springer.
• HumSec Nissen C., Kulyk O. and Giustolisi R. Usability Evaluation of Loki as a Coercion-Resistant Internet Voting System. In Workshop on Human-Targeted Cyber Threats and Defenses. Springer
• VOTING Harder A., Poulsen L., Nissen C., Kulyk O. and Giustolisi R. Flexible Vote Updating: Lessons Learned from a Lab-Based Study. In 11th Workshop on Advances in Secure Electronic Voting. Springer

2025

• E-VOTE ID Giustolisi R., Sheikhi G. M., Roenne B. P. Surtr: Transparent Verification with Simple yet Strong Coercion Mitigation. In 10th International Joint Conference on Electronic Voting. Springer.
• VOTING Giustolisi R., Rakeei M., Lenzini G. Anamorphic Voting: Ballot Freedom Against Dishonest Authorities. In 10th Workshop on Advances in Secure Electronic Voting. Springer

2024

• IEEE S&P Giustolisi R., Sheikhi G. M., Schuermann C. Thwarting Last-Minute Voter Coercion. In 45th IEEE Symposium on Security and Privacy S&P 2024. Springer
• E-VOTE ID Giustolisi R. and Sheikhi G. M. Efficient Cleansing in Coercion-Resistant Voting. In 9th International Joint Conference on Electronic Voting. Springer.

2023

• SECRYPT Sheikhi G. M., Giustolisi R., Schuermann C. Receipt-Free Electronic Voting from zk-SNARK. In 20th International Conference on Security and Cryptography. SciTePress.
• ITASEC David B., Giustolisi R., Mortensen V., Pedersen M. Local Differential Privacy in Voting. ITASEC 2023: The Italian Conference on CyberSecurity. CEUR-WS

2022

• JCS Giustolisi R., Bella G., Schürmann C. Modelling Human Threats in Security Ceremonies. Journal of Computer Security (JCS), 2022.
• DPM Rakeei M., Giustolisi R., Lenzini G. Secure Internet Exams Despite Coercion. In 17th DPM International Workshop on Data Privacy Management. Springer
• ACNS Giustolisi R., Schuermann C. POSTER: Enabling User-Accountable Mechanisms in Decision Systems. In 20th International Conference on Applied Cryptography and Network Security - Workshops. Springer

2021

• PSL Bruni A., Carbone M., Giustolisi R., Moedersheim S., Schuermann C. Security Protocols as Choreographies. In Protocols, Strands, and Logic - Essays Dedicated to Guttman J. on the Occasion of his 66.66th Birthday. Springer

2020

• NSS Rafnsson W., Giustolisi R., Kragerup M., Høyrup M. Fixing Vulnerabilities Automatically with Linters. In 14th International Conference on Network and System Security. Springer
• E-VOTE ID Giustolisi R. and Bruni A. Privacy-preserving Dispute Resolution in the Improved Bingo Voting. In 5th International Joint Conference on Electronic Voting. Springer.

2019

• STAST Garbacz I., Nielsen K., Giustolisi R., and Schürmann C. A Security Analysis of the Danish Deposit Return System. In 9th Workshop on Socio-Technical Aspects in Security and Trust. Springer.
• SECRYPT Sempreboni D., Bella G., Giustolisi R., Vigano L. What Are The Threats? (Charting The Threat Models Of Security Ceremonies). In 16th International Conference on Security and Cryptography. SciTePress.

2018

• ISC Giustolisi R. Modelling and Verification of Secure Exams. Information Security and Cryptography. Springer, 2018.
• JCS Giustolisi R., Bella G., Lenzini G. Invalid Certificates in Modern Browsers: A Socio-Technical Analysis. Journal of Computer Security, 2018.

2017

• C&S Bella G., Giustolisi R., Lenzini G., and Ryan P. Trustworthy exams without trusted parties. Computers & Security, 67:291-307, 2017.
• NordSec Giustolisi R. Free Rides in Denmark: Lessons from Improperly Generated Mobile Transport Tickets. In 22nd Nordic Conference on Secure IT System, pages 159-174. Springer. Best Paper Award
• ISC Bruni A., Giustolisi R., and Schürmann C. Automated analysis of accountability. In 20th Information Security Conference (ISC), pages 417-434. Springer.
• ESSoS Bella G. and Giustolisi R. Idea: A unifying theory for evaluation systems. In International Symposium on Engineering Secure Software and Systems, pages 231-239. Springer.
• SECRYPT Giustolisi R., Iovino V., and Lenzini G. Privacy-preserving verifiability - A case for an electronic exam protocol. In 14th International Conference on Security and Cryptography, pages 139-150. SciTePress.

2016

• Voting Giustolisi R., Iovino V., and Rønne P. On the possibility of non-interactive e-voting in the public-key setting. In Financial Cryptography Workshops, pages 193-208. Springer.
• ICISC Giustolisi R., Gehrmann C., Ahlström M., and Holmberg S. A secure group-based AKA protocol for machine-type communications. In International Conference on Information Security and Cryptology (ICISC), pages 3-27.
• SECRYPT Giustolisi R. and Gehrmann C. Threats to 5g group-based authentication. In 13th International Conference on Security and Cryptography, pages 360-367. SciTePress.

2015

• IFIP SEC Bella G., Giustolisi R., Lenzini G., and Ryan P. A secure exam protocol without trusted parties. In 30th IFIP SEC, pages 495-509. Springer.
• ISPEC Dreier J., Giustolisi R., Kassem A., Lafourcade P., and Lenzini G. A framework for analyzing verifiability in traditional and electronic exams. In 11th Information Security Practice and Experience Conference (ISPEC), pages 514-529. Springer.
• ICETE Dreier J., Giustolisi R., Kassem A., Lafourcade P., Lenzini G., and Ryan P. Formal security analysis of traditional and electronic exams. In International Joint Conference in E-Business and Telecommunications (ICETE) (Selected Papers), pages 294-318. Springer.

2014

• PST Bella G., Giustolisi R., and Lenzini G. Secure exams despite malicious management. In 12th Privacy Security and Trust (PST), pages 274-281. IEEE Computer Society.
• SECRYPT Dreier J., Giustolisi R., Kassem A., Lafourcade P., Lenzini G., and Ryan P. Formal analysis of electronic exams. In 11th International Conference on Security and Cryptography, pages 101-112. SciTePress. Best Paper Award
• CSPW Giustolisi R., Lenzini G., and Ryan P. Remark!: A secure protocol for remote exams. In 22nd Cambridge Security Protocols Workshop, pages 38-48. Springer.
• COMPSACW Bella G., Curzon P., Giustolisi R., and Lenzini G. A socio-technical methodology for the security and privacy analysis of services. In Computer Software and Applications Conference (COMPSAC) Workshops, pages 401-406. IEEE Computer Society.

2013

• CRiSIS Giustolisi R., Lenzini G., and Bella G. What security for electronic exams? In CRiSIS, pages 1-5. IEEE.
• PST Bella G., Giustolisi R., and Lenzini G. Socio-technical formal analysis of TLS certificate validation in modern browsers. In 11th Privacy, Security and Trust (PST), pages 309-316. IEEE Computer Society.
• IFIPTM Bella G., Giustolisi R., and Lenzini G. A socio-technical understanding of TLS certificate validation. In 7th IFIPTM, pages 281-288. Springer.
• IUCC Ferreira A., Giustolisi R., Huynen J., Koenig V., and Lenzini G. Studies in socio-technical security analysis: Authentication of identities with TLS certificates. In TrustCom/ISPA/IUCC, pages 1553-1558. IEEE Computer Society.

2011

• C&S Bella G., Giustolisi R., and Riccobene S. Enforcing privacy in e-commerce by balancing anonymity and trust. Computers & Security, 30(8):705-718, 2011.