| 2026 | CHI | Request a Note: How the Request Function Shapes X's Community Notes System. | Yuwei Chuai, Shuning Zhang, Ziming Wang, Xin Yi, Mohsen Mosleh, Gabriele Lenzini |
| 2026 | WWW | Consensus Stability of Community Notes on X. | Yuwei Chuai, Gabriele Lenzini, Nicolas Prllochs |
| 2025 | CHI | Community Fact-Checks Trigger Moral Outrage in Replies to Misleading Posts on Social Media. | Yuwei Chuai, Anastasia Sergeeva, Gabriele Lenzini, Nicolas Prllochs |
| 2025 | FC | Anamorphic Voting: Ballot Freedom Against Dishonest Authorities. | Rosario Giustolisi, Mohammadamin Rakeei, Gabriele Lenzini |
| 2025 | ICWSM | Is Fact-Checking Politically Neutral? Asymmetries in How U.S. Fact-Checking Organizations Pick Up False Statements Mentioning Political Elites. | Yuwei Chuai, Jichang Zhao, Nicolas Prllochs, Gabriele Lenzini |
| 2025 | RE | Towards Evidence-Based Conceptual Modeling for International Data Protection Requirements. | Claudia Negri-Ribalta, Ren Nol, Anastasia Sergeeva, Gabriele Lenzini |
| 2025 | SECRYPT | Can Contributing More Put You at a Higher Leakage Risk? The Relationship Between Shapley Value and Training Data Leakage Risks in Federated Learning. | Soumia Zohra El Mestari, Maciej Krzysztof Zuziak, Gabriele Lenzini, Salvatore Rinzivillo |
| 2024 | CHI | The Effects of Group Discussion and Role-playing Training on Self-efficacy, Support-seeking, and Reporting Phishing Emails: Evidence from a Mixed-design Experiment. | Xiaowei Chen, Margault Sacr, Gabriele Lenzini, Samuel Greiff, Verena Distler, Anastasia Sergeeva |
| 2024 | ISoLA | Can AI Help with the Formalization of Railway Cybersecurity Requirements? | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi |
| 2024 | SECRYPT | Verifying Artifact Authenticity with Unclonable Optical Tags. | Mnica P. Arenas, Gabriele Lenzini, Mohammadamin Rakeei, Peter Y. A. Ryan, Marjan Skrobot, Maria Zhekova |
| 2024 | SOUPS | What Motivates and Discourages Employees in Phishing Interventions: An Exploration of Expectancy-Value Theory. | Xiaowei Chen, Sophie Doublet, Anastasia Sergeeva, Gabriele Lenzini, Vincent Koenig, Verena Distler |
| 2023 | ICWE | Using Emotions and Topics to Understand Online Misinformation. | Yuwei Chuai, Arianna Rossi, Gabriele Lenzini |
| 2022 | ESORICS | Secure Internet Exams Despite Coercion. | Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini |
| 2022 | ICISSP | Can We Formally Catch Cheating in E-exams? | Itzel Vzquez Sandoval, Gabriele Lenzini |
| 2022 | WWW | Context, Prioritization, and Unexpectedness: Factors Influencing User Attitudes About Infographic and Comic Consent. | Xengie Doan, Annika Selzer, Arianna Rossi, Maria Wilhelmina Botes, Gabriele Lenzini |
| 2021 | ACSAC | What's in a Cyber Threat Intelligence sharing platform?: A mixed-methods user experience investigation of MISP. | Borce Stojkovski, Gabriele Lenzini, Vincent Koenig, Salvador Rivas |
| 2021 | SAC | "I personally relate it to the traffic light": a user study on security & privacy indicators in a secure email system committed to | Borce Stojkovski, Gabriele Lenzini, Vincent Koenig |
| 2020 | ICISSP | Dual-use Research in Ransomware Attacks: A Discussion on Ransomware Defence Intelligence. | Ziya Alper Gen, Gabriele Lenzini |
| 2020 | ICISSP | Systematization of Threats and Requirements for Private Messaging with Untrusted Servers: The Case of e-Mailing and Instant Messaging. | Iraklis Symeonidis, Gabriele Lenzini |
| 2020 | LREC | The DAPRECO Knowledge Base: Representing the GDPR in LegalRuleML. | Livio Robaldo, Cesare Bartolini, Gabriele Lenzini |
| 2020 | NSPW | The Framework of Security-Enhancing Friction: How UX Can Help Users Behave More Securely. | Verena Distler, Gabriele Lenzini, Carine Lallemand, Vincent Koenig |
| 2019 | ACSAC | A game of "Cut and Mouse": bypassing antivirus by simulating user inputs. | Ziya Alper Gen, Gabriele Lenzini, Daniele Sgandurra |
| 2019 | DIMVA | On Deception-Based Protection Against Cryptographic Ransomware. | Ziya Alper Gen, Gabriele Lenzini, Daniele Sgandurra |
| 2019 | ESORICS | NoCry: No More Secure Encryption Keys for Cryptographic Ransomware. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan |
| 2019 | ESORICS | A Formal Security Analysis of the p=uiv p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. | Itzel Vzquez Sandoval, Gabriele Lenzini |
| 2019 | ICISSP | Accomplishing Transparency within the General Data Protection Regulation. | Dayana Spagnuelo, Ana Ferreira, Gabriele Lenzini |
| 2019 | ICISSP | Transparency Enhancing Tools and the GDPR: Do They Match? | Dayana Spagnuelo, Ana Ferreira, Gabriele Lenzini |
| 2019 | ICSoft | Towards a Lawful Authorized Access: A Preliminary GDPR-based Authorized Access. | Cesare Bartolini, Said Daoudagh, Gabriele Lenzini, Eda Marchetti |
| 2019 | QUATIC | GDPR-Based User Stories in the Access Control Perspective. | Cesare Bartolini, Said Daoudagh, Gabriele Lenzini, Eda Marchetti |
| 2018 | COMPSAC | Experience Report: How to Extract Security Protocols' Specifications from C Libraries. | Itzel Vzquez Sandoval, Gabriele Lenzini |
| 2018 | DIMVA | No Random, No Ransom: A Key to Stop Cryptographic Ransomware. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan |
| 2018 | ESORICS | A Protocol to Strengthen Password-Based Authentication. | Itzel Vzquez Sandoval, Borce Stojkovski, Gabriele Lenzini |
| 2018 | ICISSP | A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vzquez Sandoval |
| 2018 | ICISSP | A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vzquez Sandoval |
| 2018 | JURIX | A Legal Validation of a Formal Representation of Articles of the GDPR. | Cesare Bartolini, Gabriele Lenzini, Cristiana Teixeira Santos |
| 2017 | ICISSP | From Situation Awareness to Action: An Information Security Management Toolkit for Socio-technical Security Retrospective and Prospective Analysis. | Jean-Louis Huynen, Gabriele Lenzini |
| 2017 | ICISSP | An Information Security Management for Socio-Technical Analysis of System Security. | Jean-Louis Huynen, Gabriele Lenzini |
| 2017 | SECRYPT | Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol. | Rosario Giustolisi, Vincenzo Iovino, Gabriele Lenzini |
| 2017 | TrustBus | Modelling Metrics for Transparency in Medical Systems. | Dayana Spagnuelo, Cesare Bartolini, Gabriele Lenzini |
| 2016 | ESORICS | Metrics for Transparency. | Dayana Spagnuelo, Cesare Bartolini, Gabriele Lenzini |
| 2016 | ICISSP | Comparing and Integrating Break-the-Glass and Delegation in Role-based Access Control for Healthcare. | Ana Ferreira, Gabriele Lenzini |
| 2016 | WorldCIST | Patient-Centred Transparency Requirements for Medical Data Sharing Systems. | Dayana Spagnuelo, Gabriele Lenzini |
| 2015 | HCI | Principles of Persuasion in Social Engineering and Their Use in Phishing. | Ana Ferreira, Lynne M. Coventry, Gabriele Lenzini |
| 2015 | HCI | Do Graphical Cues Effectively Inform Users? - A Socio-Technical Security Study in Accessing Wifi Networks. | Ana Ferreira, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini, Salvador Rivas |
| 2015 | ISPEC | A Framework for Analyzing Verifiability in Traditional and Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini |
| 2015 | NSPW | Maybe Poor Johnny Really Cannot Encrypt: The Case for a Complexity Theory for Usable Security. | Zinaida Benenson, Gabriele Lenzini, Daniela Oliveira, Simon Parkin, Sven Uebelacker |
| 2015 | WorldCIST | Can Transparency Enhancing Tools Support Patient's Accessing Electronic Health Records? | Ana Ferreira, Gabriele Lenzini |
| 2015 | SEC | A Secure Exam Protocol Without Trusted Parties. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan |
| 2014 | ANT | Attacks Generation by Detecting Attack Surfaces. | Samir Ouchani, Gabriele Lenzini |
| 2014 | COMPSAC | A Socio-technical Methodology for the Security and Privacy Analysis of Services. | Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini |
| 2014 | HCI | Socio-technical Security Analysis of Wireless Hotspots. | Ana Ferreira, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini |
| 2014 | HCI | A Conceptual Framework to Study Socio-Technical Security. | Ana Ferreira, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini |
| 2014 | PST | Secure exams despite malicious management. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini |
| 2014 | SECRYPT | Formal Analysis of Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan |
| 2013 | CCS | Demonstrating a trust framework for evaluating GNSS signal integrity. | Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang |
| 2013 | CRiSIS | What security for electronic exams? | Rosario Giustolisi, Gabriele Lenzini, Giampaolo Bella |
| 2013 | PST | Socio-technical formal analysis of TLS certificate validation in modern browsers. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini |
| 2013 | TrustCom | Studies in Socio-technical Security Analysis: Authentication of Identities with TLS Certificates. | Ana Ferreira, Rosario Giustolisi, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini |
| 2010 | UIC | Contextual Biometric-Based Authentication for Ubiquitous Services. | Ileana Buhan, Gabriele Lenzini, Sasa Radomirovic |
| 2009 | ADBIS | Shall I Trust a Recommendation? Towards an Evaluation of the Trustworthiness of Recommender Sites. | Gabriele Lenzini, Ynze van Houten, Wolf Huijsen, Mark S. Melenhorst |
| 2008 | ICSE | Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services. | Gabriele Lenzini |
| 2008 | ICSE | A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. | Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi |
| 2008 | SECRYPT | Trust Model for High Quality Recommendation. | Gabriele Lenzini, Nabil Sahli, Henk Eertink |
| 2000 | DSN | An Automatic SPIN Validation of a Safety Critical Railway Control System. | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
| 2000 | TACAS | A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |