Gabriele Lenzini

186 papers A* 5A 8B 9C 24Misc 4Journal 55Unranked 72

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Can Theory-Informed Message Framing Drive Honest and Motivated Performance with Better Assessment Experiences in a Remote Assessment? CoRR Suvadeep Mukherjee, Björn Rohles, Gabriele Lenzini, Pedro Cardoso-Leite
2026	A*	`conf`	Consensus Stability of Community Notes on X. WWW Yuwei Chuai, Gabriele Lenzini, Nicolas Pröllochs
2026	J	`jnl`	Consensus Stability of Community Notes on X. CoRR Yuwei Chuai, Gabriele Lenzini, Nicolas Pröllochs
2026	J	`jnl`	Online machine learning for proactive threat intelligence and timely DDoS attack prediction. J. Cloud Comput. Rrezearta Thaqi, Gabriele Lenzini, Marcus Völp, Blerim Rexha
2026	A*	`conf`	Request a Note: How the Request Function Shapes X's Community Notes System. CHI Yuwei Chuai, Shuning Zhang, Ziming Wang, Xin Yi, Mohsen Mosleh, Gabriele Lenzini
2026	J	`jnl`	Secure authentication and traceability of physical objects. Comput. Secur. Mónica P. Arenas, Gabriele Lenzini, Mohammadamin Rakeei, Peter Y. A. Ryan, Marjan Skrobot, Maria Zhekova
2026	J	`jnl`	When "Likers" Go Private: Engagement With Reputationally Risky Content on X. CoRR Yuwei Chuai, Manoel Horta Ribeiro, Gabriele Lenzini, Nicolas Pröllochs
2025	J	`jnl`	Anamorphic Voting: Ballot Freedom Against Dishonest Authorities. IACR Cryptol. ePrint Arch. Rosario Giustolisi, Mohammadamin Rakeei, Gabriele Lenzini
2025	—	`conf`	Between Privacy and Transparency: Exploring the Ways of Communicating Credibility Assessment. EuroUSEC Huiyun Tang, Björn Rohles, Yuwei Chuai, Gabriele Lenzini, Anastasia Sergeeva
2025	C	`conf`	Can Contributing More Put You at a Higher Leakage Risk? The Relationship Between Shapley Value and Training Data Leakage Risks in Federated Learning. SECRYPT Soumia Zohra El Mestari, Maciej Krzysztof Zuziak, Gabriele Lenzini, Salvatore Rinzivillo
2025	A*	`conf`	Community Fact-Checks Trigger Moral Outrage in Replies to Misleading Posts on Social Media. CHI Yuwei Chuai, Anastasia Sergeeva, Gabriele Lenzini, Nicolas Pröllochs
2025	J	`jnl`	Crypto Wars in Secure Messaging: Covert Channels in Signal Despite Leaked Keys. IACR Cryptol. ePrint Arch. Mohammadamin Rakeei, Rosario Giustolisi, Andy Rupp, Chuanwei Lin, Gabriele Lenzini
2025	—	`conf`	DeceptiLens: an Approach supporting Transparency in Deceptive Pattern Detection based on a Multimodal Large Language Model. FAccT Emre Kocyigit, Arianna Rossi, Anastasia Sergeeva, Claudia Negri-Ribalta, Ali Farjami, Gabriele Lenzini
2025	J	`jnl`	How Johnny Experiences Phishing Warnings: A Qualitative Study Investigating the Impact of Design Decisions on the User. IEEE Access Stefanie Pham, Gabriele Lenzini, Daniela Pöhn
2025	J	`jnl`	Identifying Ethical Challenges in XR Implementations in the Industrial Domain: A Case of Off-Highway Machinery. CoRR Anastasia Sergeeva, Claudia Negri-Ribalta, Gabriele Lenzini
2025	A	`conf`	Is Fact-Checking Politically Neutral? Asymmetries in How U.S. Fact-Checking Organizations Pick Up False Statements Mentioning Political Elites. ICWSM Yuwei Chuai, Jichang Zhao, Nicolas Pröllochs, Gabriele Lenzini
2025	J	`jnl`	More Than Just Warnings:Exploring the Ways of Communicating Credibility Assessment on Social Media. CoRR Huiyun Tang, Björn Rohles, Yuwei Chuai, Gabriele Lenzini, Anastasia Sergeeva
2025	J	`jnl`	Poison to Detect: Detection of Targeted Overfitting in Federated Learning. CoRR Soumia Zohra El Mestari, Maciej Krzysztof Zuziak, Gabriele Lenzini
2025	J	`jnl`	Remote secure object authentication: Secure sketches, fuzzy extractors, and security protocols. Comput. Secur. Mónica P. Arenas, Georgios Fotiadis, Gabriele Lenzini, Mohammadamin Rakeei
2025	J	`jnl`	Request a Note: How the Request Function Shapes X's Community Notes System. CoRR Yuwei Chuai, Shuning Zhang, Ziming Wang, Xin Yi, Mohsen Mosleh, Gabriele Lenzini
2025	—	`conf`	Towards Evidence-Based Conceptual Modeling for International Data Protection Requirements. REW Claudia Negri-Ribalta, René Noël, Anastasia Sergeeva, Gabriele Lenzini
2024	A	`conf`	"Who Knows? Maybe it Really Works": Analysing Users' Perceptions of Health Misinformation on Social Media. Conference on Designing Interactive Systems Huiyun Tang, Gabriele Lenzini, Samuel Greiff, Björn Rohles, Anastasia Sergeeva
2024	—	`conf`	A Systematic Approach for A Reliable Detection of Deceptive Design Patterns Through Measurable HCI Features. EuroUSEC Emre Kocyigit, Arianna Rossi, Gabriele Lenzini
2024	J	`jnl`	A systematic literature review on the impact of AI models on the security of code generation. Frontiers Big Data Claudia Negri-Ribalta, Rémi Géraud-Stewart, Anastasia Sergeeva, Gabriele Lenzini
2024	—	`conf`	Augmenting Dark Patterns Text Data by Leveraging Large Language Models: A Multi-agent Framework and Parameter-Efficient Fine-Tuning. CALM Emre Kocyigit, Davide Liga, Gabriele Lenzini
2024	—	`conf`	Balancing The Perception of Cheating Detection, Privacy and Fairness: A Mixed-Methods Study of Visual Data Obfuscation in Remote Proctoring. EuroUSEC Suvadeep Mukherjee, Verena Distler, Gabriele Lenzini, Pedro Cardoso-Leite
2024	J	`jnl`	Balancing The Perception of Cheating Detection, Privacy and Fairness: A Mixed-Methods Study of Visual Data Obfuscation in Remote Proctoring. CoRR Suvadeep Mukherjee, Verena Distler, Gabriele Lenzini, Pedro Cardoso-Leite
2024	—	`conf`	Can AI Help with the Formalization of Railway Cybersecurity Requirements? ISoLA (1) Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi
2024	J	`jnl`	Changes in Sentiments and User Engagement for 2024 U.S. Presidential Candidates After Biden's Withdrawal: An Analysis of TikTok Videos. CoRR Yuwei Chuai, Gabriele Lenzini
2024	J	`jnl`	Community Fact-Checks Trigger Moral Outrage in Replies to Misleading Posts on Social Media. CoRR Yuwei Chuai, Anastasia Sergeeva, Gabriele Lenzini, Nicolas Pröllochs
2024	J	`jnl`	Community-based fact-checking reduces the spread of misleading posts on social media. CoRR Yuwei Chuai, Moritz Pilarski, Thomas Renault, David Restrepo Amariles, Aurore Clément Troussel, Gabriele Lenzini, Nicolas Pröllochs
2024	J	`jnl`	Did the Roll-Out of Community Notes Reduce Engagement With Misinformation on X/Twitter? Proc. ACM Hum. Comput. Interact. Yuwei Chuai, Haoye Tian, Nicolas Pröllochs, Gabriele Lenzini
2024	J	`jnl`	Preserving data privacy in machine learning systems. Comput. Secur. Soumia Zohra El Mestari, Gabriele Lenzini, Hüseyin Demirci
2024	C	`ed.`	Proceedings of the 10th International Conference on Information Systems Security and Privacy, ICISSP 2024, Rome, Italy, February 26-28, 2024. ICISSP Gabriele Lenzini, Paolo Mori, Steven Furnell
2024	A*	`conf`	The Effects of Group Discussion and Role-playing Training on Self-efficacy, Support-seeking, and Reporting Phishing Emails: Evidence from a Mixed-design Experiment. CHI Xiaowei Chen, Margault Sacré, Gabriele Lenzini, Samuel Greiff, Verena Distler, Anastasia Sergeeva
2024	J	`jnl`	The Effects of Group Discussion and Role-playing Training on Self-efficacy, Support-seeking, and Reporting Phishing Emails: Evidence from a Mixed-design Experiment. CoRR Xiaowei Chen, Margault Sacré, Gabriele Lenzini, Samuel Greiff, Verena Distler, Anastasia Sergeeva
2024	J	`jnl`	Topic Diversity and Conspiracy Theories Shape Engagement with COVID-19 Misinformation on X/Twitter. CoRR Yuwei Chuai, Jichang Zhao, Gabriele Lenzini
2024	C	`conf`	Verifying Artifact Authenticity with Unclonable Optical Tags. SECRYPT Mónica P. Arenas, Gabriele Lenzini, Mohammadamin Rakeei, Peter Y. A. Ryan, Marjan Skrobot, Maria Zhekova
2024	—	`conf`	What Motivates and Discourages Employees in Phishing Interventions: An Exploration of Expectancy-Value Theory. SOUPS @ USENIX Security Symposium Xiaowei Chen, Sophie Doublet, Anastasia Sergeeva, Gabriele Lenzini, Vincent Koenig, Verena Distler
2023	—	`ed.`	Information Systems Security and Privacy - 7th International Conference, ICISSP 2021, Virtual Event, February 11-13, 2021, and 8th International Conference, ICISSP 2022, Virtual Event, February 9-11, 2022, Revised Selected Papers ICISSP (Revised Selected Papers) Paolo Mori, Gabriele Lenzini, Steven Furnell
2023	J	`jnl`	Political Elites in False Statements on the Internet. CoRR Yuwei Chuai, Jichang Zhao, Nicolas Pröllochs, Gabriele Lenzini
2023	C	`ed.`	Proceedings of the 9th International Conference on Information Systems Security and Privacy, ICISSP 2023, Lisbon, Portugal, February 22-24, 2023 ICISSP Paolo Mori, Gabriele Lenzini, Steven Furnell
2023	—	`ed.`	Security and Trust Management - 18th International Workshop, STM 2022, Copenhagen, Denmark, September 29, 2022, Proceedings STM Gabriele Lenzini, Weizhi Meng
2023	J	`jnl`	The Roll-Out of Community Notes Did Not Reduce Engagement With Misinformation on Twitter. CoRR Yuwei Chuai, Haoye Tian, Nicolas Pröllochs, Gabriele Lenzini
2023	J	`jnl`	The effects of privacy-non-invasive interventions on cheating prevention and user experience in unproctored online assessments: An empirical study. Comput. Educ. Suvadeep Mukherjee, Björn Rohles, Verena Distler, Gabriele Lenzini, Vincent Koenig
2023	—	`conf`	Trust Level Evaluation Engine for Dynamic Trust Assessment with Reference to Subjective Logic. IFIPTM Ana Petrovska, Gabriele Gelardi, Hüseyin Demirci, Emre Kocyigit, Gabriele Lenzini, Artur Hermann, Natasa Trkulja, Frank Kargl, Ioannis Krontiris, Theo Dimitrakos
2023	B	`conf`	Using Emotions and Topics to Understand Online Misinformation. ICWE Yuwei Chuai, Arianna Rossi, Gabriele Lenzini
2022	J	`jnl`	"Unless One Does the Research, It May Seem as Just a Useless Battery-consuming App" - Field Notes on COVID-19 Contact Tracing Applications. DTRAP Borce Stojkovski, Ruba Abu-Salma, Karen Triquet, Gabriele Lenzini
2022	—	`conf`	A Secure Authentication Protocol for Cholesteric Spherical Reflectors Using Homomorphic Encryption. AFRICACRYPT Mónica P. Arenas, Muhammed Ali Bingöl, Hüseyin Demirci, Georgios Fotiadis, Gabriele Lenzini
2022	J	`jnl`	An Analysis of Cholesteric Spherical Reflector Identifiers for Object Authenticity Verification. Mach. Learn. Knowl. Extr. Mónica P. Arenas, Hüseyin Demirci, Gabriele Lenzini
2022	C	`conf`	Can We Formally Catch Cheating in E-exams? ICISSP Itzel Vázquez Sandoval, Gabriele Lenzini
2022	—	`conf`	Context, Prioritization, and Unexpectedness: Factors Influencing User Attitudes About Infographic and Comic Consent. WWW (Companion Volume) Xengie Doan, Annika Selzer, Arianna Rossi, Maria Wilhelmina Botes, Gabriele Lenzini
2022	—	`conf`	Privacy-preserving Copy Number Variation Analysis with Homomorphic Encryption. HEALTHINF Hüseyin Demirci, Gabriele Lenzini
2022	C	`ed.`	Proceedings of the 8th International Conference on Information Systems Security and Privacy, ICISSP 2022, Online Streaming, February 9-11, 2022. ICISSP Paolo Mori, Gabriele Lenzini, Steven Furnell
2022	—	`conf`	Secure Internet Exams Despite Coercion. DPM/CBT@ESORICS Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini
2022	J	`jnl`	Secure Internet Exams Despite Coercion. CoRR Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini
2022	—	`conf`	Towards Assessing Features of Dark Patterns in Cookie Consent Processes. Privacy and Identity Management Emre Kocyigit, Arianna Rossi, Gabriele Lenzini
2022	—	`conf`	When Cryptographic Ransomware Poses Cyber Threats: Ethical Challenges and Proposed Safeguards for Cybersecurity Researchers. EuroS&P Workshops Marietjie Botes, Gabriele Lenzini
2021	A	`conf`	"I am Definitely Manipulated, Even When I am Aware of it. It's Ridiculous!" - Dark Patterns from the End-User Perspective. Conference on Designing Interactive Systems Kerstin Bongard-Blanchy, Arianna Rossi, Salvador Rivas, Sophie Doublet, Vincent Koenig, Gabriele Lenzini
2021	Misc	`conf`	"I personally relate it to the traffic light": a user study on security & privacy indicators in a secure email system committed to SAC Borce Stojkovski, Gabriele Lenzini, Vincent Koenig
2021	J	`jnl`	A Systematic Literature Review of Empirical Methods and Risk Representation in Usable Privacy and Security Research. ACM Trans. Comput. Hum. Interact. Verena Distler, Matthias Fassl, Hana Habib, Katharina Krombholz, Gabriele Lenzini, Carine Lallemand, Lorrie Faith Cranor, Vincent Koenig
2021	Misc	`conf`	A workflow and toolchain proposal for analyzing users' perceptions in cyber threat intelligence sharing platforms. CSR Borce Stojkovski, Gabriele Lenzini
2021	J	`jnl`	Addressing Hate Speech with Data Science: An Overview from Computer Science Perspective. CoRR Ivan Srba, Gabriele Lenzini, Matús Pikuliak, Samuel Pecar
2021	B	`conf`	Cholesteric Spherical Reflectors as Physical Unclonable Identifiers in Anti-counterfeiting. ARES Mónica P. Arenas, Hüseyin Demirci, Gabriele Lenzini
2021	J	`jnl`	Cut-and-Mouse and Ghost Control: Exploiting Antivirus Software with Synthesized Inputs. DTRAP Ziya Alper Genç, Gabriele Lenzini, Daniele Sgandurra
2021	J	`jnl`	I am Definitely Manipulated, Even When I am Aware of it. It s Ridiculous! - Dark Patterns from the End-User Perspective. CoRR Kerstin Bongard-Blanchy, Arianna Rossi, Salvador Rivas, Sophie Doublet, Vincent Koenig, Gabriele Lenzini
2021	J	`jnl`	Linking Physical Objects to Their Digital Twins via Fiducial Markers Designed for Invisibility to Humans. CoRR Mathew Schwartz, Yong Geng, Hakam Agha, Rijeesh Kizhakidathazhath, Danqing Liu, Gabriele Lenzini, Jan P. F. Lagerwall
2021	J	`jnl`	PakeMail: authentication and key management in decentralized secure email and messaging via PAKE. CoRR Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini, Peter Y. A. Ryan
2021	C	`ed.`	Proceedings of the 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Online Streaming, February 11-13, 2021. ICISSP Paolo Mori, Gabriele Lenzini, Steven Furnell
2021	A	`conf`	What's in a Cyber Threat Intelligence sharing platform?: A mixed-methods user experience investigation of MISP. ACSAC Borce Stojkovski, Gabriele Lenzini, Vincent Koenig, Salvador Rivas
2020	J	`jnl`	A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. CoRR Itzel Vázquez Sandoval, Gabriele Lenzini
2020	J	`jnl`	Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets. CoRR Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini
2020	—	`conf`	Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-entropy Secrets. ICETE (2) Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini
2020	C	`conf`	Dual-use Research in Ransomware Attacks: A Discussion on Ransomware Defence Intelligence. ICISSP Ziya Alper Genç, Gabriele Lenzini
2020	—	`conf`	Evaluating ambiguity of privacy indicators in a secure email app. ITASEC Borce Stojkovski, Gabriele Lenzini
2020	J	`jnl`	Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base. J. Log. Lang. Inf. Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni, Gabriele Lenzini
2020	—	`conf`	PakeMail: Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE. ICETE (Selected Papers) Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini, Peter Y. A. Ryan
2020	J	`jnl`	Qualifying and measuring transparency: A medical data system case study. Comput. Secur. Dayana Spagnuelo, Cesare Bartolini, Gabriele Lenzini
2020	C	`conf`	Systematization of Threats and Requirements for Private Messaging with Untrusted Servers: The Case of e-Mailing and Instant Messaging. ICISSP Iraklis Symeonidis, Gabriele Lenzini
2020	B	`conf`	The DAPRECO Knowledge Base: Representing the GDPR in LegalRuleML. LREC Livio Robaldo, Cesare Bartolini, Gabriele Lenzini
2020	C	`conf`	The Framework of Security-Enhancing Friction: How UX Can Help Users Behave More Securely. NSPW Verena Distler, Gabriele Lenzini, Carine Lallemand, Vincent Koenig
2020	J	`jnl`	Transparency by design in data-informed research: A collection of information design patterns. Comput. Law Secur. Rev. Arianna Rossi, Gabriele Lenzini
2019	—	`conf`	A Formal Security Analysis of the p=uiv p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. ETAA@ESORICS Itzel Vázquez Sandoval, Gabriele Lenzini
2019	A	`conf`	A game of "Cut and Mouse": bypassing antivirus by simulating user inputs. ACSAC Ziya Alper Genç, Gabriele Lenzini, Daniele Sgandurra
2019	C	`conf`	Accomplishing Transparency within the General Data Protection Regulation. ICISSP Dayana Spagnuelo, Ana Ferreira, Gabriele Lenzini
2019	—	`conf`	Case Study: Analysis and Mitigation of a Novel Sandbox-Evasion Technique. CECC Ziya Alper Genç, Gabriele Lenzini, Daniele Sgandurra
2019	—	`conf`	Detecting Misalignments between System Security and User Perceptions: A Preliminary Socio-technical Analysis of an E2E email Encryption System. EuroS&P Workshops Borce Stojkovski, Itzel Vázquez Sandoval, Gabriele Lenzini
2019	Misc	`conf`	GDPR-Based User Stories in the Access Control Perspective. QUATIC Cesare Bartolini, Said Daoudagh, Gabriele Lenzini, Eda Marchetti
2019	—	`conf`	Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study. From Software Engineering to Formal Methods and Tools, and Back Gabriele Lenzini, Marinella Petrocchi
2019	—	`conf`	NoCry: No More Secure Encryption Keys for Cryptographic Ransomware. ETAA@ESORICS Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2019	B	`conf`	On Deception-Based Protection Against Cryptographic Ransomware. DIMVA Ziya Alper Genç, Gabriele Lenzini, Daniele Sgandurra
2019	J	`jnl`	The DAta Protection REgulation COmpliance Model. IEEE Secur. Priv. Cesare Bartolini, Gabriele Lenzini, Livio Robaldo
2019	C	`conf`	Towards a Lawful Authorized Access: A Preliminary GDPR-based Authorized Access. ICSOFT Cesare Bartolini, Said Daoudagh, Gabriele Lenzini, Eda Marchetti
2019	—	`conf`	Transparency Enhancing Tools and the GDPR: Do They Match? ICISSP (Revised Selected Papers) Dayana Spagnuelo, Ana Ferreira, Gabriele Lenzini
2019	—	`conf`	Which Properties Has an Icon? A Critical Discussion on Data Protection Iconography. STAST Arianna Rossi, Gabriele Lenzini
2018	—	`conf`	A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack. ICISSP (Revised Selected Papers) Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vázquez Sandoval
2018	—	`conf`	A Legal Validation of a Formal Representation of Articles of the GDPR. TERECOM@JURIX Cesare Bartolini, Gabriele Lenzini, Cristiana Teixeira Santos
2018	—	`conf`	A Protocol to Strengthen Password-Based Authentication. ETAA@ESORICS Itzel Vázquez Sandoval, Borce Stojkovski, Gabriele Lenzini
2018	C	`conf`	A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. ICISSP Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vázquez Sandoval
2018	—	`conf`	An Agile Approach to Validate a Formal Representation of the GDPR. JSAI-isAI Workshops Cesare Bartolini, Gabriele Lenzini, Cristiana Teixeira Santos
2018	—	`conf`	Experience Report: How to Extract Security Protocols' Specifications from C Libraries. COMPSAC (2) Itzel Vázquez Sandoval, Gabriele Lenzini
2018	J	`jnl`	Invalid certificates in modern browsers: A socio-technical analysis. J. Comput. Secur. Rosario Giustolisi, Giampaolo Bella, Gabriele Lenzini
2018	—	`conf`	Next Generation Cryptographic Ransomware. NordSec Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2018	B	`conf`	No Random, No Ransom: A Key to Stop Cryptographic Ransomware. DIMVA Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2018	—	`ed.`	STAST 2018: 8th International Workshop on Socio-Technical Aspects in Security and Trust, San Juan, Puerto Rico, USA, December, 2018 STAST Giampaolo Bella, Gabriele Lenzini, Theo Tryfonas, Debi Ashenden
2018	—	`conf`	Security Analysis of Key Acquiring Strategies Used by Cryptographic Ransomware. CECC Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2017	—	`conf`	An Information Security Management for Socio-Technical Analysis of System Security. ICISSP (Revised Selected Papers) Jean-Louis Huynen, Gabriele Lenzini
2017	—	`conf`	Cipher, the Random and the Ransom: A Survey on Current and Future Ransomware. CECC Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2017	C	`conf`	From Situation Awareness to Action: An Information Security Management Toolkit for Socio-technical Security Retrospective and Prospective Analysis. ICISSP Jean-Louis Huynen, Gabriele Lenzini
2017	J	`jnl`	Guest Editorial Special Issue on Insider Threats to Information Security, Digital Espionage, and Counter-Intelligence. IEEE Syst. J. Ilsun You, Gabriele Lenzini, Alfredo De Santis
2017	B	`conf`	Modelling Metrics for Transparency in Medical Systems. TrustBus Dayana Spagnuelo, Cesare Bartolini, Gabriele Lenzini
2017	C	`conf`	Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol. SECRYPT Rosario Giustolisi, Vincenzo Iovino, Gabriele Lenzini
2017	—	`ed.`	Proceedings of the 7th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2017, Orlando, FL, USA, December 5, 2017 STAST Giampaolo Bella, Gabriele Lenzini
2017	—	`conf`	Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals. WIFS Gabriele Lenzini, Samir Ouchani, Peter B. Rønne, Peter Y. A. Ryan, Yong Geng, Jan Lagerwall, JungHyun Noh
2017	J	`jnl`	Transparent Medical Data Systems. J. Medical Syst. Dayana Spagnuelo, Gabriele Lenzini
2017	J	`jnl`	Trustworthy exams without trusted parties. Comput. Secur. Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
2016	—	`conf`	Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems. STM Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
2016	C	`conf`	Comparing and Integrating Break-the-Glass and Delegation in Role-based Access Control for Healthcare. ICISSP Ana Ferreira, Gabriele Lenzini
2016	—	`conf`	Metrics for Transparency. DPM/QASA@ESORICS Dayana Spagnuelo, Cesare Bartolini, Gabriele Lenzini
2016	—	`conf`	Patient-Centred Transparency Requirements for Medical Data Sharing Systems. WorldCIST (1) Dayana Spagnuelo, Gabriele Lenzini
2016	—	`ed.`	Proceedings of the 6th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2016, Los Angeles, CA, USA, December 5, 2016 STAST Gabriele Lenzini, Giampaolo Bella, Zinaida Benenson, Carrie E. Gates
2016	—	`conf`	Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology. BNCAI Cesare Bartolini, Andra Giurgiu, Gabriele Lenzini, Livio Robaldo
2015	—	`ed.`	2015 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2015, Verona, Italy, July 13, 2015 STAST Giampaolo Bella, Gabriele Lenzini
2015	C	`conf`	A Framework for Analyzing Verifiability in Traditional and Electronic Exams. ISPEC Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
2015	Misc	`conf`	A Secure Exam Protocol Without Trusted Parties. SEC Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
2015	—	`conf`	An Analysis of Social Engineering Principles in Effective Phishing. STAST Ana Ferreira, Gabriele Lenzini
2015	—	`conf`	Can Transparency Enhancing Tools Support Patient's Accessing Electronic Health Records? WorldCIST (1) Ana Ferreira, Gabriele Lenzini
2015	—	`conf`	Do Graphical Cues Effectively Inform Users? - A Socio-Technical Security Study in Accessing Wifi Networks. HCI (22) Ana Ferreira, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini, Salvador Rivas
2015	J	`jnl`	Generating attacks in SysML activity diagrams by detecting attack surfaces. J. Ambient Intell. Humaniz. Comput. Samir Ouchani, Gabriele Lenzini
2015	—	`conf`	In Cyber-Space No One Can Hear You S·CREAM - A Root Cause Analysis for Socio-Technical Security. STM Ana Ferreira, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini
2015	C	`conf`	Maybe Poor Johnny Really Cannot Encrypt: The Case for a Complexity Theory for Usable Security. NSPW Zinaida Benenson, Gabriele Lenzini, Daniela Oliveira, Simon Parkin, Sven Uebelacker
2015	—	`conf`	Principles of Persuasion in Social Engineering and Their Use in Phishing. HCI (22) Ana Ferreira, Lynne M. Coventry, Gabriele Lenzini
2015	J	`jnl`	Security analysis of socio-technical physical systems. Comput. Electr. Eng. Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
2015	J	`jnl`	Service security and privacy as a socio-technical problem. J. Comput. Secur. Giampaolo Bella, Paul Curzon, Gabriele Lenzini
2014	—	`ed.`	2014 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014, Vienna, Austria, July 18, 2014 STAST Giampaolo Bella, Gabriele Lenzini
2014	—	`conf`	A Conceptual Framework to Study Socio-Technical Security. HCI (24) Ana Ferreira, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini
2014	—	`conf`	A Socio-technical Methodology for the Security and Privacy Analysis of Services. COMPSAC Workshops Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini
2014	—	`conf`	Attacks Generation by Detecting Attack Surfaces. ANT/SEIT Samir Ouchani, Gabriele Lenzini
2014	—	`conf`	Envisioning secure and usable access control for patients. SeGAH Ana Ferreira, Gabriele Lenzini, Cátia Santos-Pereira, Alexandre B. Augusto, Manuel Eduardo Correia
2014	C	`conf`	Formal Analysis of Electronic Exams. SECRYPT Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
2014	—	`conf`	Formal Security Analysis of Traditional and Electronic Exams. ICETE (Selected Papers) Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
2014	—	`conf`	Remark!: A Secure Protocol for Remote Exams. Security Protocols Workshop Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
2014	C	`conf`	Secure exams despite malicious management. PST Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
2014	—	`conf`	Socio-technical Security Analysis of Wireless Hotspots. HCI (24) Ana Ferreira, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini
2013	—	`conf`	A Socio-technical Understanding of TLS Certificate Validation. IFIPTM Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
2013	A	`conf`	A Trust Framework for Evaluating GNSS Signal Integrity. CSF Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
2013	A*	`conf`	Demonstrating a trust framework for evaluating GNSS signal integrity. CCS Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Location Assurance and Privacy in GNSS Navigation. ERCIM News Xihui Chen, Carlo Harpes, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2013	—	`conf`	Socio-Technical Study on the Effect of Trust and Context When Choosing WiFi Names. STM Ana Ferreira, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini, Salvador Rivas
2013	C	`conf`	Socio-technical formal analysis of TLS certificate validation in modern browsers. PST Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
2013	—	`conf`	Studies in Socio-technical Security Analysis: Authentication of Identities with TLS Certificates. TrustCom/ISPA/IUCC Ana Ferreira, Rosario Giustolisi, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini
2013	C	`conf`	What security for electronic exams? CRiSIS Rosario Giustolisi, Gabriele Lenzini, Giampaolo Bella
2012	B	`conf`	A Group Signature Based Electronic Toll Pricing System. ARES Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2012	J	`jnl`	Defending against insider threats and internal data leakage. Secur. Commun. Networks Ilsun You, Gabriele Lenzini, Marek R. Ogiela, Elisa Bertino
2012	—	`conf`	Foreword from the Workshop Chairs - STAST 2012. STAST Giampaolo Bella, Gabriele Lenzini
2011	J	`jnl`	A Group Signature Based Electronic Toll Pricing System CoRR Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2011	—	`ch.`	Adaptive Trust Management. Self-organising Software Jean-Marc Seigneur, Gabriele Lenzini, Bob Hulsebosch
2011	—	`conf`	Selective Location Blinding Using Hash Chains. Security Protocols Workshop Gabriele Lenzini, Sjouke Mauw, Jun Pang
2010	C	`conf`	Contextual Biometric-Based Authentication for Ubiquitous Services. UIC Ileana Buhan, Gabriele Lenzini, Sasa Radomirovic
2009	—	`conf`	Shall I Trust a Recommendation? Towards an Evaluation of the Trustworthiness of Recommender Sites. ADBIS (Workshops) Gabriele Lenzini, Ynze van Houten, Wolf Huijsen, Mark S. Melenhorst
2008	B	`conf`	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi
2008	—	`conf`	Agents Selecting Trustworthy Recommendations in Mobile Virtual Communities. AAMAS-TRUST Gabriele Lenzini, Nabil Sahli, Henk Eertink
2008	—	`conf`	Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic. VODCA@FOSAD Gabriele Lenzini
2008	C	`conf`	Trust Model for High Quality Recommendation. SECRYPT Gabriele Lenzini, Nabil Sahli, Henk Eertink
2008	B	`conf`	Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services. WADS Gabriele Lenzini
2008	—	`conf`	Trustworthy Agent-Based Recommender System in a Mobile P2P Environment. AP2PC Nabil Sahli, Gabriele Lenzini, Henk Eertink
2007	J	`jnl`	Audit-based compliance control. Int. J. Inf. Sec. J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini
2007	—	`conf`	Context Sensitive Adaptive Authentication. EuroSSC R. J. Hulsebosch, Mortaza S. Bargh, Gabriele Lenzini, P. W. G. Ebben, Sorin M. Iacob
2007	J	`jnl`	Context-Based Adaptive and Responsive Authentication. ERCIM News Gabriele Lenzini, Bob Hulsebosch
2007	—	`ed.`	First International Workshop on Combining Context with Trust, Security and Privacy In conjunction with IFIPTM, CAT@IFIPTM 2007, Moncton, New Brunswick, Canada, July 30, 2007. CAT@IFIPTM Bob Hulsebosch, Gabriele Lenzini, Santtu Toivonen, Maarten Wegdam
2007	—	`conf`	Trust Management Model and Architecture for Context-Aware Service Platforms. OTM Conferences (2) Ricardo Neisse, Maarten Wegdam, Marten van Sinderen, Gabriele Lenzini
2007	—	`conf`	Trust-enhanced Security in Location-based Adaptive Authentication. STM@ESORICS Gabriele Lenzini, Mortaza S. Bargh, Bob Hulsebosch
2006	J	`jnl`	A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. J. Autom. Lang. Comb. Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi
2006	—	`conf`	Context-aware Trust Evaluation Functions for Dynamic Reconfigurable Systems. MTW Santtu Toivonen, Gabriele Lenzini, Ilkka Uusitalo
2006	—	`conf`	Managing Trustworthiness in Component-based Embedded Systems. STM Gabriele Lenzini, Andrew Tokmakoff, Johan Muskens
2005	—	`conf`	A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
2005	J	`jnl`	Relating multiset rewriting and process algebras for security protocol analysis. J. Comput. Secur. Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
2004	—	`conf`	A Logic for Auditing Accountability in Decentralized Systems. Formal Aspects in Security and Trust Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu
2004	—	`conf`	Team Automata for Security: - A Survey -. SecCo Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi
2003	—	`conf`	Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. MEFISTO Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
2003	—	`conf`	Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. SVV@ICLP Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
2003	—	`conf`	On Representing Biological Systems through Multiset Rewriting. EUROCAST Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli
2003	—	`conf`	Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
2000	A	`conf`	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. TACAS Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
2000	A	`conf`	An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo