Enforcing privacy in e-commerce by balancing anonymity and trust. - Giampaolo Bella; Rosario Giustolisi; Salvatore Riccobene (Comput. Secur., 2011)

What security for electronic exams? - Rosario Giustolisi; Gabriele Lenzini; Giampaolo Bella (CRiSIS, 2013)

A Socio-technical Understanding of TLS Certificate Validation. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini (IFIPTM, 2013)

Socio-technical formal analysis of TLS certificate validation in modern browsers. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini (PST, 2013)

Studies in Socio-technical Security Analysis: Authentication of Identities with TLS Certificates. - Ana Ferreira 001; Rosario Giustolisi; Jean-Louis Huynen; Vincent Koenig; Gabriele Lenzini (TrustCom/ISPA/IUCC, 2013)

A Socio-technical Methodology for the Security and Privacy Analysis of Services. - Giampaolo Bella; Paul Curzon; Rosario Giustolisi; Gabriele Lenzini (COMPSAC Workshops, 2014)

Formal Security Analysis of Traditional and Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini; Peter Y. A. Ryan (ICETE (Selected Papers), 2014)

Secure exams despite malicious management. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini (PST, 2014)

Formal Analysis of Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini; Peter Y. A. Ryan (SECRYPT, 2014)

Remark!: A Secure Protocol for Remote Exams (Transcript of Discussion). - Rosario Giustolisi (Security Protocols Workshop, 2014)

Remark!: A Secure Protocol for Remote Exams. - Rosario Giustolisi; Gabriele Lenzini; Peter Y. A. Ryan (Security Protocols Workshop, 2014)

A Framework for Analyzing Verifiability in Traditional and Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini (ISPEC, 2015)

A Secure Exam Protocol Without Trusted Parties. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini; Peter Y. A. Ryan (SEC, 2015)

Design and Analysis of Secure Exam Protocols. - Rosario Giustolisi (CoRR, 2015)

On the Possibility of Non-Interactive E-Voting in the Public-key Setting. - Rosario Giustolisi; Vincenzo Iovino; Peter B. Rønne (IACR Cryptol. ePrint Arch., 2015)

A Secure Group-Based AKA Protocol for Machine-Type Communications. - Rosario Giustolisi; Christian Gehrmann; Markus Ahlström; Simon Holmberg (ICISC, 2016)

Threats to 5G Group-based Authentication. - Rosario Giustolisi; Christian Gehrmann (SECRYPT, 2016)

Idea: A Unifying Theory for Evaluation Systems. - Giampaolo Bella; Rosario Giustolisi (ESSoS, 2017)

Automated Analysis of Accountability. - Alessandro Bruni; Rosario Giustolisi; Carsten Schuermann 001 (ISC, 2017)

Free Rides in Denmark: Lessons from Improperly Generated Mobile Transport Tickets. - Rosario Giustolisi (NordSec, 2017)

Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol. - Rosario Giustolisi; Vincenzo Iovino; Gabriele Lenzini (SECRYPT, 2017)

Trustworthy exams without trusted parties. - Giampaolo Bella; Rosario Giustolisi; Gabriele Lenzini; Peter Y. A. Ryan (Comput. Secur., 2017)

Invalid certificates in modern browsers: A socio-technical analysis. - Rosario Giustolisi; Giampaolo Bella; Gabriele Lenzini (J. Comput. Secur., 2018)

Modelling and Verification of Secure Exams - Rosario Giustolisi (Springer, 2018)

What Are the Threats? (Charting the Threat Models of Security Ceremonies). - Diego Sempreboni; Giampaolo Bella; Rosario Giustolisi; Luca Viganò 001 (ICETE (2), 2019)

A Security Analysis of the Danish Deposit Return System. - Ivan Garbacz; Rosario Giustolisi; Kasper Møller Nielsen; Carsten Schuermann 001 (STAST, 2019)

Privacy-Preserving Dispute Resolution in the Improved Bingo Voting. - Rosario Giustolisi; Alessandro Bruni (E-VOTE-ID, 2020)

Fixing Vulnerabilities Automatically with Linters. - Willard Rafnsson; Rosario Giustolisi; Mark Kragerup; Mathias Høyrup (NSS, 2020)

Security Protocols as Choreographies. - Alessandro Bruni; Marco Carbone; Rosario Giustolisi; Sebastian Mödersheim; Carsten Schürmann 001 (Protocols, Strands, and Logic, 2021)

POSTER: Enabling User-Accountable Mechanisms in Decision Systems. - Rosario Giustolisi; Carsten Schürmann 001 (ACNS Workshops, 2022)

Secure Internet Exams Despite Coercion. - Mohammadamin Rakeei; Rosario Giustolisi; Gabriele Lenzini (DPM/CBT@ESORICS, 2022)

Modelling human threats in security ceremonies. - Giampaolo Bella; Rosario Giustolisi; Carsten Schürmann 001 (J. Comput. Secur., 2022)

Local Differential Privacy in Voting. - Bernardo David; Rosario Giustolisi; Victor Mortensen; Morten Pedersen (ITASEC, 2023)

Receipt-Free Electronic Voting from zk-SNARK. - Maryam Sheikhi; Rosario Giustolisi; Carsten Schürmann 001 (SECRYPT, 2023)

Thwarting Last-Minute Voter Coercion. - Rosario Giustolisi; Maryam Sheikhi Garjan; Carsten Schuermann 001 (IACR Cryptol. ePrint Arch., 2023)

Efficient Cleansing in Coercion-Resistant Voting. - Rosario Giustolisi; Maryam Sheikhi Garjan (E-Vote-ID, 2024)

Anamorphic Voting: Ballot Freedom Against Dishonest Authorities. - Rosario Giustolisi; Mohammadamin Rakeei; Gabriele Lenzini (IACR Cryptol. ePrint Arch., 2025)