Page d'accueil // SnT // People // Gabriele Lenzini

Prof. Dr. Gabriele Lenzini

Gabriele Lenzini

Associate professor/Chief scientist 2

Faculté ou Centre Interdisciplinary Centre for Security, Reliability and Trust
Department IRiSC
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E02 0215-100
E-mail
Téléphone (+352) 46 66 44 5778

Prof. Dr. Gabriele Lenzini has decennial expertise in the design of security and privacy for socio-technical systems, studying how security and privacy can be achieved beyond the technical dimension and when systems are deployed in an environment where human factors, user experience, and legal compliance also contribute to the system’s security and privacy.

He has a PhD, in Computer Science (2005, University of Twente, The Netherlands) and two MSc, respectively in Computer Science and in Information Technologies (University of Pisa, Italy).

He has worked at the University of Pisa and at the Italian National Council of Research (CNR), in Italy, and at the University of Twente, and at Telematica Institute, in the Netherlands. He participated in the development and execution of numerous national and international projects, most of them with a strong industrial participation.

In February 2010 he joined the SnT. He is now Head of the IRiSC research group (Interdisciplinary Research in Socio-Technical Cybersecurity).
He works on electronic voting security, and on location and privacy assurance, and in socio-technical security: he is chair of one of the few workshops in this area (www.stast.uni.lu)

 

 

 

 

 

Last updated on: lundi 21 septembre 2020

powered by
orbilu.uni.lu

2022

Full Text
See detailA Secure Authentication Protocol for Cholesteric Spherical Reflectors using Homomorphic Encryption
Arenas Correa, Monica Patricia; Bingol, Muhammed Ali; Demirci, Huseyin; Fotiadis, Georgios; Lenzini, Gabriele

in Lecture Notes in Computer Science (2022, October 06), 13503

Full Text
See detailAn Analysis of Cholesteric Spherical Reflector Identifiers for Object Authenticity Verification
Arenas Correa, Monica Patricia; Demirci, Huseyin; Lenzini, Gabriele

in Machine Learning and Knowledge Extraction (2022), 4(1), 222-239

Full Text
See detailPrivacy-preserving Copy Number Variation Analysis with Homomorphic Encryption
Demirci, Huseyin; Lenzini, Gabriele

Scientific Conference (2022)

Full Text
See detailComplex, but in a good way? How to represent encryption to non-experts through text and visuals – Evidence from expert co-creation and a vignette experiment
Distler, Verena; Gutfleisch, Tamara; Lallemand, Carine; Lenzini, Gabriele; Koenig, Vincent

in Computers in Human Behavior Reports (2022), 4

Full Text
See detailContext, Prioritization, and Unexpectedness: Factors Influencing User Attitudes About Infographic and Comic Consent
Doan, Xengie Cheng; Selzer, Annika; Rossi, Arianna; Botes, Wilhelmina Maria; Lenzini, Gabriele

in Web Conference Companion Volume (ACM) (2022, April 26)

Full Text
See detailUnwinding a Legal and Ethical Ariadne’s Thread Out of the Twitter Scraping Maze
Rossi, Arianna; Kumari, Archana; Lenzini, Gabriele

in Schiffner, Stefan; Ziegler, Sebastien; Quesada Rodriguez, Adrian (Eds.) Data Protection Law International Convergence and Compliance with Innovative Technologies (DPLICIT) (2022)

Top of Page

2021

Full Text
See detailCholesteric Spherical Reflectors as Physical Unclonable Identifiers in Anti-counterfeiting
Arenas Correa, Monica Patricia; Demirci, Huseyin; Lenzini, Gabriele

in Journal of the Association for Computing Machinery (2021, August 17), 16

Full Text
See detail"I am definitely manipulated, even when I am aware of it. It’s ridiculous!" - Dark Patterns from the End-User Perspective
Bongard-Blanchy, Kerstin; Rossi, Arianna; Rivas, Salvador; Doublet, Sophie; Koenig, Vincent; Lenzini, Gabriele

in Proceedings of ACM DIS Conference on Designing Interactive Systems (2021)

Full Text
See detailA Systematic Literature Review of Empirical Methods and Risk Representation in Usable Privacy and Security Research
Distler, Verena; Fassl, Matthias; Habib, Hana; Krombholz, Katharina; Lenzini, Gabriele; Lallemand, Carine; Cranor, Lorrie Faith; Koenig, Vincent

in ACM Transactions on Computer-Human Interaction (2021), 28(6), 50

Full Text
See detailCut-and-Mouse and Ghost Control: Exploiting Antivirus Software with Synthesized Inputs
Genç, Ziya Alper; Lenzini, Gabriele; Sgandurra, Daniele

in Digital Threats: Research and Practice (2021), 2(1),

See detailAddressing Hate Speech with Data Science: An Overview from Computer Science Perspective
Lenzini, Gabriele; Srba; Pikuliak, Matus; Pecar, Samuel

E-print/Working paper (2021)

Full Text
See detailThe French National Framework of Tracing Applications
Poillot, Elise; Lenzini, Gabriele

in Poillot, Elise; Lenzini, Gabriele; Resta, Giorgio (Eds.) Data Protection in the Context of Covid-19. A Short (Hi)story of Tracing Applications (2021)

See detailData protection in the context of covid-19. A short (hi)story of tracing applications.
Poillot, Elise; Lenzini, Gabriele; Resta, Giorgio; Zeno-Zencovich, Vincenzo

Book published by RomaTrE-Press (2021)

See detailLessons to be learnt from the crisis. The Rise and Fall (and Rise?) of Tracing Application
Poillot, Elise; Resta, Giorgio; Zeno-Zencovich, Vincenzo; Lenzini, Gabriele

in Poillot, Elise; Resta, Giorgio; Zeno-Zencovich, Vincenzo; Lenzini, Gabriele (Eds.) Data Protection in the Context of Covid-19. A Short (Hi)story of Tracing Applications (2021)

Full Text
See detailWhich Properties has an Icon? A Critical Discussion on Evaluation Methods for Standardised Data Protection Iconography
Rossi, Arianna; Lenzini, Gabriele

in Proceedings of the 8th Workshop on Socio-Technical Aspects in Security and Trust (STAST) (2021)

Full Text
See detailLinking Physical Objects to Their Digital Twins via Fiducial Markers Designed for Invisibility to Humans
Schwartz, Mathew; Geng, Yong; Agha, Hakam; Kizhakidathazhath, Rijeesh; Liu, Danqing; Lenzini, Gabriele; Lagerwall, Jan

in Multifunctional Materials (2021), 4(2), 022002

Full Text
See detail"Unless One Does the Research, It May Seem as Just a Useless Battery-Consuming App" - Field Notes on COVID-19 Contact Tracing Applications
Stojkovski, Borce; Abu-Salma, Ruba; Triquet, Karen; Lenzini, Gabriele

in Digital Threats: Research and Practice (2021)

Full Text
See detailA workflow and toolchain proposal for analyzing users’ perceptions in cyber threat intelligence sharing platforms
Stojkovski, Borce; Lenzini, Gabriele

in 2021 IEEE International Conference on Cyber Security and Resilience (CSR) (2021)

Full Text
See detail"I Personally Relate It to the Traffic Light": A User Study on Security & Privacy Indicators in a Secure Email System Committed to Privacy by Default
Stojkovski, Borce; Lenzini, Gabriele; Koenig, Vincent

in Proceedings of the 36th Annual ACM Symposium on Applied Computing (2021)

Full Text
See detailWhat's in a Cyber Threat Intelligence sharing platform?: A mixed-methods user experience investigation of MISP
Stojkovski, Borce; Lenzini, Gabriele; Koenig, Vincent; Rivas, Salvador

in Annual Computer Security Applications Conference (ACSAC ’21) (2021, December)

Full Text
See detailPakeMail: Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE
Vazquez Sandoval, Itzel; Atashpendar, Arash; Lenzini, Gabriele; Ryan, Peter Y A

in Obaidat, Mohammad S.; Ben-Othman, Jalel (Eds.) E-Business and Telecommunications - 17th International Conference on E-Business and Telecommunications, ICETE 2020, Online Event, July 8-10, 2020, Revised Selected Papers. (2021, October)

Top of Page

2020

Full Text
See detailThe Framework of Security-Enhancing Friction: How UX Can Help Users Behave More Securely
Distler, Verena; Lenzini, Gabriele; Lallemand, Carine; Koenig, Vincent

in New Security Paradigms Workshop (2020, October 26)

Full Text
See detailDual-Use Research In Ransomware Attacks: A Discussion on Ransomware Defence Intelligence
Genç, Ziya Alper; Lenzini, Gabriele

in Proceedings of the 6th International Conference on Information Systems Security and Privacy (2020)

Full Text
See detailTransparency by Design in Data-Informed Research: a Collection of Information Design Patterns
Rossi, Arianna; Lenzini, Gabriele

in Computer Law & Security Review (2020), 37(105402),

Full Text
See detailMaking the Case for Evidence-based Standardization of Data Privacy and Data Protection Visual Indicators
Rossi, Arianna; Lenzini, Gabriele

in Journal of Open Access to Law (2020), 8(1),

Full Text
See detailQualifying and Measuring Transparency: A Medical Data System Case Study
Spagnuelo, Dayana; Bartolini, Cesare; Lenzini, Gabriele

in Computers and Security (2020)

Full Text
See detailEvaluating ambiguity of privacy indicators in a secure email app
Stojkovski, Borce; Lenzini, Gabriele

in Loreti, Michele; Spalazzi, Luca (Eds.) Proceedings of the Fourth Italian Conference on Cyber Security, Ancona Italy, February 4th to 7th, 2020 (2020)

Full Text
See detailSystematization of threats and requirements for private messaging with untrusted servers. The case of E-mailing and instant messaging
Symeonidis, Iraklis; Lenzini, Gabriele

in International Conference on Information Systems Security and Privacy, Malta 25-27 February 2020 (2020, February)

Full Text
See detailAuthentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets
Vazquez Sandoval, Itzel; Atashpendar, Arash; Lenzini, Gabriele

in Proceedings of the 17th International Joint Conference on e-Business and Telecommunications (2020)

Top of Page

2019

Full Text
See detailSistemi Medici e Conformità Legale
Bartolini, Cesare; Lenzini, Gabriele

in Rivista Italiana di Medicina Legale: Dottrina, Casistica, Ricerca Sperimentale, Giurisprudenza e Legislazione (2019), XLI(1/2019), 225-242

Full Text
See detailThe DAta Protection REgulation COmpliance Model
Bartolini, Cesare; Lenzini, Gabriele; Robaldo, Livio

in IEEE Security and Privacy (2019), 17(6), 37-45

Full Text
See detailAn Agile Approach to Validate a Formal Representation of the GDPR
Bartolini, Cesare; Lenzini, Gabriele; Santos, Cristiana

in JSAI International Symposium on Artificial Intelligence (2019), 11717

Full Text
See detailNoCry: No More Secure Encryption Keys for Cryptographic Ransomware
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter

in Proceedings of the Second International Workshop on Emerging Technologies for Authorization and Authentication (2019)

Full Text
See detailA Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter; Vazquez Sandoval, Itzel

in Information Systems Security and Privacy (2019, July)

Full Text
See detailOn Deception-Based Protection Against Cryptographic Ransomware
Genç, Ziya Alper; Lenzini, Gabriele; Sgandurra, Daniele

in Proceedings of the 16th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (2019)

Full Text
See detailCase Study: Analysis and Mitigation of a Novel Sandbox-Evasion Technique
Genç, Ziya Alper; Lenzini, Gabriele; Sgandurra, Daniele

in Proceedings of the Third Central European Cybersecurity Conference (2019)

Full Text
See detailA Game of "Cut and Mouse": Bypassing Antivirus by Simulating User Inputs
Genç, Ziya Alper; Lenzini, Gabriele; Sgandurra, Daniele

in Proceedings of the 35th Annual Computer Security Applications Conference (2019)

See detailModelling of Railways Signalling System Requirements by Controlled Natural Languages: A Case Study
Lenzini, Gabriele; Petrocchi, Marinella

in From Software Engineering to Formal Methods and Tools, and Back (2019)

Full Text
See detailFormalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
Robaldo, Livio; Bartolini, Cesare; Lenzini, Gabriele; Rossi, Arianna; Palmirani, Monica; Martoni, Michele

in Journal of Logic, Language and Information (2019)

Full Text
See detailDark Patterns: Deception or Simply Bad Design?
Rossi, Arianna; Lenzini, Gabriele; Koenig, Vincent; Bongard-Blanchy, Kerstin

Poster (2019)

Full Text
See detailDetecting misalignments between system security and user perceptions: a preliminary socio-technical analysis of an E2E email encryption system
Stojkovski, Borce; Vazquez Sandoval, Itzel; Lenzini, Gabriele

in 4th European Workshop on Usable Security - 2019 IEEE European Symposium on Security and Privacy Workshops (2019)

Full Text
See detailA Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email
Vazquez Sandoval, Itzel; Lenzini, Gabriele

in Emerging Technologies for Authorization and Authentication (2019)

Top of Page

2018

Full Text
See detailAn Interdisciplinary Methodology to Validate Formal Representations of Legal Text Applied to the GDPR
Bartolini, Cesare; Lenzini, Gabriele; Santos, Cristiana

Scientific Conference (2018, November 12)

Full Text
See detailNext Generation Cryptographic Ransomware
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter

in Proceedings of the Secure IT Systems (2018)

Full Text
See detailNo Random, No Ransom: A Key to Stop Cryptographic Ransomware
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter

in Proceedings of the 15th Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (2018)

Full Text
See detailSecurity Analysis of Key Acquiring Strategies Used by Cryptographic Ransomware
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter

in Advances in Cybersecurity 2018 (2018)

Full Text
See detailA Security Analysis, and a Fix, of a Code-Corrupted Honeywords System
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter; Vazquez Sandoval, Itzel

in Proceedings of the 4th International Conference on Information Systems Security and Privacy (2018)

Full Text
See detailCholesteric Liquid Crystal Shells as Enabling Material for Information-Rich Design and Architecture.
Schwartz, Mathew; Lenzini, Gabriele; Geng, Yong; Roenne, Peter; Ryan, Peter; Lagerwall, Jan

in Advanced Materials (2018)

Full Text
See detailExperience report: How to extract security protocols’ specifications from C libraries
Vazquez Sandoval, Itzel; Lenzini, Gabriele

in 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), Volume 2 (2018, June)

Full Text
See detailA Protocol to Strengthen Password-Based Authentication
Vazquez Sandoval, Itzel; Lenzini, Gabriele; Stojkovski, Borce

in Emerging Technologies for Authorization and Authentication (2018, November)

Top of Page

2017

Full Text
See detailTowards legal compliance by correlating Standards and Laws with a semi-automated methodology
Bartolini, Cesare; Giurgiu, Andra; Lenzini, Gabriele; Robaldo, Livio

in Bosse, Tibor; Bredeweg, Bert (Eds.) Communications in Computer and Information Science (2017)

Full Text
See detailLaw and the software development life cycle
Bartolini, Cesare; Lenzini, Gabriele

Scientific Conference (2017, November 25)

Full Text
See detailHuman Rights in the era of Information and Communication Technology
Bartolini, Cesare; Lenzini, Gabriele

Speeches/Talks (2017)

Full Text
See detailTrustworthy exams without trusted parties
Bella, Giampaolo; Giustolisi, Rosario; Lenzini, Gabriele; Ryan, Peter

in Computer and Security (2017), 67

Full Text
See detailThe Cipher, the Random and the Ransom: A Survey on Current and Future Ransomware
Genç, Ziya Alper; Lenzini, Gabriele; Ryan, Peter

in Advances in Cybersecurity 2017 (2017)

Full Text
See detailPrivacy-Preserving Verifiability: A Case for an Electronic Exam Protocol
Giustolisi, Rosario; Iovino, Vincenzo; Lenzini, Gabriele

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

Full Text
See detailFrom Situation Awareness to Action: An Information Security Management Toolkit for Socio-Technical Security Retrospective and Prospective Analysis
Huynen, Jean-Louis; Lenzini, Gabriele

in Proceedings of the 3rd International Conference on Information Systems Security and Privacy (2017)

Full Text
See detailSecurity in the Shell : An Optical Physical Unclonable Function made of Shells of Cholesteric Liquid Crystals
Lenzini, Gabriele; Samir, Ouchani; Roenne, Peter; Ryan, Peter; Geng, Yong; Noh, Junghyun; Lagerwall, Jan

in Proc. of the 9th IEEE Workshop on Information Forensics and Security (2017, October 02)

Full Text
See detailModelling Metrics for Transparency in Medical Systems
Pierina Brustolin Spagnuelo, Dayana; Bartolini, Cesare; Lenzini, Gabriele

in Proceedings of TrustBus 2017 (2017, July)

Full Text
See detailInsider Threats to Information Security, Digital Espionage, and Counter-Intelligence
You, Ilsun; Lenzini, Gabriele; De Santis, Alfredo

in IEEE Systems Journal (2017), 11(2),

Top of Page

2016

Full Text
See detailA Framework to Reason about the Legal Compliance of Security Standards
Bartolini, Cesare; Giurgiu, Andra; Lenzini, Gabriele; Robaldo, Livio

in Proceedings of the Tenth International Workshop on Juris-informatics (JURISIN) (2016, November)

Full Text
See detailTowards legal compliance by correlating Standards and Laws with a semi-automated methodology
Bartolini, Cesare; Lenzini, Gabriele; Robaldo, Livio

in Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC) (2016, November)

Full Text
See detailComparing and Integrating Break-the-Glass and Delegation in Role-based Access Control for Healthcare
Ferreira, Ana; Lenzini, Gabriele

in Proc. of the nd Int. Conference on International Conference in Information Systems Security and Privacy (ICISSP) (2016)

Full Text
See detailHigh-fidelity spherical cholesteric liquid crystal Bragg reflectors generating unclonable patterns for secure authentication
Geng, Yong; Noh, Junghyun; Drevensek-Olenik, Irena; Rupp, Romano; Lenzini, Gabriele; Lagerwall, Jan

in Scientific Reports (2016), 6(26840), 1-8

Full Text
See detailAnalysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems
Lenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir

in Barthe, Gilles; Markatos, Evangelos (Eds.) Security and Trust Management - STM 2016 (2016)

Full Text
See detailMetrics for Transparency
Pierina Brustolin Spagnuelo, Dayana; Bartolini, Cesare; Lenzini, Gabriele

in Proceedings of DPM 2016 and QASA 2016 (2016, September)

Full Text
See detailTransparent Medical Data Systems
Pierina Brustolin Spagnuelo, Dayana; Lenzini, Gabriele

in Journal of Medical Systems (2016)

Full Text
See detailPatient-Centred Transparency Requirements for Medical Data Sharing Systems
Pierina Brustolin Spagnuelo, Dayana; Lenzini, Gabriele

in Proceedings of the 4th World Conference on Information Systems and Technologies (2016)

Top of Page

2015

Full Text
See detailService security and privacy as a socio-technical problem
Bella, Giampaolo; Curzon, Paul; Lenzini, Gabriele

in JOURNAL OF COMPUTER SECURITY (2015), 23(5), 563-585

Full Text
See detailA Secure Exam Protocol Without Trusted Parties
Bella, Giampaolo; Giustolisi, Rosario; Lenzini, Gabriele; Ryan, Peter

in ICT Systems Security and Privacy Protection. 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015 (2015)

See detail2015 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2015, Verona, Italy, July 13, 2015
Bella, Giampaolo; Lenzini, Gabriele

Scientific Conference (2015, July 13)

Full Text
See detail4.2 Social Dynamics Metrics-Working Group Report
Benenson, Zinaida; Bleikertz, Sören; Foley, Simon N.; Harpes, Carlo; Kowalski, Stewart; Lenzini, Gabriele; Oliveira, Daniela; Parkin, Simon; Pfleeger, Shari Lawrence; Smith, Paul; others

in Socio-Technical Security Metrics (2015)

Full Text
See detailMaybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security
Benenson, Zinaida; Lenzini, Gabriele; Oliveira, Daniela; Parkin, Simon; Uebelacker

in Proceedings of the New Security Paradigm Workshop (2015)

Full Text
See detailMaybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security
Beneson, Zinaida; Lenzini, Gabriele; Oliveira, Daniela; Parkin, Simon; Uebelacker, Sven

in Maybe Poor Johnny Really Cannot Encrypt - The Case for a Complexity Theory for Usable Security (2015)

Full Text
See detailA Framework for Analyzing Verifiability in Traditional and Electronic Exams.
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali; Lafourcade, Pascal; Lenzini, Gabriele

in Information Security Practice and Experience 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015 (2015)

Full Text
See detailFormal Security Analysis of Traditional and Electronic Exams
Dreier, Jannik; Giustosi, Rosario; Kassem, Ali; Lafourcade, Pascal; Lenzini, Gabriele; Ryan, Peter

in Communications in Computer and Information Science (2015), 554

Full Text
See detailIn Cyber-Space No One Can Hear You S·CREAM, A Root Cause Analysis for Socio-Technical Security
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele

in Foresti, Sara (Ed.) Security and Trust Management (2015)

Full Text
See detailDo graphical cues effectively inform users? A Socio-Technical Security Study in Accessing Wifi Networks
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele; Rivas, Salvador

in Proc. of the International Conference on Human Aspects of Information Security, Privacy, and Trust (2015, July 21)

Full Text
See detailDo graphical cues effectively inform users? A socio-technical security study in accessing wifi networks.
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele; Rivas, Salvador

in Lecture Notes in Computer Science (2015), 9190

Full Text
See detailAn Analysis of Social Engineering Principles in Effective Phishing
Ferreira, Ana; Lenzini, Gabriele

in Proc. of the 5th International Workshop on Socio-Technical Security and Trust (2015)

Full Text
See detailPrinciples of Persuasion in Social Engineering and Their Use in Phishing
Ferreira, Ana; Lenzini, Gabriele; Conventry, Lynne

in T. Tryfonas, I. Askoxylakis (Ed.) Human Aspects of Information Security, Privacy, and Trust Third International Conference, HAS 2015 (2015)

Full Text
See detailCan Transparency Enhancing Tools support patient's accessing Electronic Health Records?
Lenzini, Gabriele; Ferreira, Ana

in Advances in Intelligent Systems and Computing (2015)

Full Text
See detailSecurity analysis of socio-technical physical systems
Lenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir

in Computers electrical engineering (2015)

Full Text
See detailGenerating attacks in SysML activity diagrams by detecting attack surfaces
Ouchani, Samir; Lenzini, Gabriele

in Journal of Ambient Intelligence and Humanized Computing (2015), 6(3), 361-373

Full Text
See detailSecurity on medical data sharing (a literature review)
Pierina Brustolin Spagnuelo, Dayana; Lenzini, Gabriele

Report (2015)

Top of Page

2014

Full Text
See detailA Socio-Technical Methodology for the Security and Privacy Analysis of Services
Bella, Giampaolo; Curzon, Paul; Giustolisi, Rosario; Lenzini, Gabriele

in IEEE 38th Annual International Computers, Software and Applications Conference Workshops, 27–29 July 2014, Västerås, Sweden (2014)

Full Text
See detailSecure exams despite malicious management
Bella, Giampaolo; Giustolisi, Rosario; Lenzini, Gabriele

in Twelfth Annual International Conference on Privacy, Security and Trust (PST), Ryerson University, Toronto, July 23-24, 2014 (2014)

See detailProceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014
Bella, Giampaolo; Lenzini, Gabriele

Scientific Conference (2014)

Full Text
See detailOn the verifiability of (electronic) exams
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali; Lafourcade, Pascal; Lenzini, Gabriele

Report (2014)

Full Text
See detailFormal Analysis of Electronic Exams
Dreier, Jannik; Giustolisi, Rosario; Kassem, Ali; Lafourcade, Pascal; Lenzini, Gabriele; Ryan, Peter

in SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014 (2014)

Full Text
See detailA Conceptual Framework to Study Socio-Technical Security
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele

in Lecture Notes in Computer Science (2014)

Full Text
See detailSocio-technical Security Analysis of Wireless Hotspots
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele

in Lecture Notes in Computer Science (2014)

Full Text
See detailEnvisioning secure and usable access control for patients
Ferreira, Ana; Lenzini, Gabriele; Santos-Pereira, Cátia; Augusto, Alexandre; Correia, Manuel

in IEEE 3rd International Conference on Serious Games and Applications in Healthcare (2014, May)

Full Text
See detailRemark!: A Secure Protocol for Remote Exams
Giustolisi, Rosario; Lenzini, Gabriele; Ryan, Peter

in Security Protocols XXII - Lecture Notes in Computer Science (2014)

Top of Page

2013

Full Text
See detailA Socio-technical Understanding of TLS Certificate Validation
Bella, Giampaolo; Giustolisi, Rosario; Lenzini, Gabriele

in Trust Management VII (2013)

Full Text
See detailSocio-technical formal analysis of TLS certificate validation in modern browsers
Bella, Giampaolo; Giustolisi, Rosario; Lenzini, Gabriele

in PST (2013)

Full Text
See detailDEMO: Demonstrating a Trust Framework for Evaluating GNSS Signal Integrity
Chen, Xihui; Harpes, Carlo; Lenzini, Gabriele; Martins, Miguel; Mauw, Sjouke; Pang, Jun

in Proceedings of 20th ACM Conference on Computer and Communications Security (CCS'13) (2013, November)

Full Text
See detailLocation Assurance and Privacy in GNSS Navigation
Chen, Xihui; Harpes, Carlo; Lenzini, Gabriele; Mauw, Sjouke; Pang, Jun

in ERCIM News (2013), 2013(94),

Full Text
See detailA trust framework for evaluating GNSS signal integrity
Chen, Xihui; Lenzini, Gabriele; Martins, Miguel; Mauw, Sjouke; Pang, Jun

in Proceedings of 26th IEEE Computer Security Foundations Symposium (CSF'13) (2013)

Full Text
See detailDesign and formal analysis of a group signature based electronic toll pricing system
Chen, Xihui; Lenzini, Gabriele; Mauw, Sjouke; Pang, Jun

in Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (2013), 4(1), 55-75

Full Text
See detailStudies in Socio-Technical Security Analysis: Authentication of Identities with TLS Certificates
Ferreira, Ana; Giustolisi, Rosario; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele

in IEEE TrustCom (2013)

Full Text
See detailOn Tools for Socio-Technical Security Analysis
Ferreira, Ana; Giustolisi, Rosario; Huynen, Jean-Louis; Lenzini, Gabriele

Scientific Conference (2013, April 12)

Full Text
See detailSocio-Technical Study On the Effect of Trust and Context when Choosing WiFi Names
Ferreira, Ana; Huynen, Jean-Louis; Koenig, Vincent; Lenzini, Gabriele; Rivas, Salvador

in Lecture Notes in Computer Science (2013), 8203

Full Text
See detailWhat Security for Electronic Exams?
Giustolisi, Rosario; Lenzini, Gabriele; Bella, Giampaolo

in 8th International Conference onRisk and Security of Internet and Systems (CRiSIS), 2013 (2013)

Top of Page

2012

Full Text
See detailImplementation and Validation of a Localisation Assurance Service Provider
Chen, Xihui; Harpes, Carlo; Lenzini, Gabriele; Martins, Miguel; Mauw, Sjouke; Pang, Jun

in Proc. 6th ESA Workshop on Satellite Navigation Technologies (2012)

Full Text
See detailA group signature based electronic toll pricing system
Chen, Xihui; Lenzini, Gabriele; Mauw, Sjouke; Pang, Jun

in Proc. 7th International Conference on Availability, Reliability and Security (2012)

See detailSTAST 2012 Proc. of the 2nd Int. Workshop on Socio-Technical Aspects in Security and Trust
Lenzini, Gabriele; Bella, Giampaolo

Book published by IEEE (2012)

Full Text
See detailTrustworthy agent-based recommender system in a mobile P2P environment
Sahli, N.; Lenzini, Gabriele; Eertink, H.

in Lecture Notes in Computer Science (2012), 6573 LNAI

Full Text
See detailDefending against insider threats and internal data leakage
You, Ilsun; Lenzini, Gabriele; Ogiela, Marek R.; Bertino, Elisa

in Security and Communication Networks (2012), 5(8), 831-833

Top of Page

2011

See detailSTAST 2011 Proc. of the 1st Workshop on Socio-Technical Aspects in Security and Trust
Coles-Kemp, Lizzie; Lenzini, Gabriele; Ryan, Peter; Bella, Giampaolo

Book published by IEEE (2011)

Full Text
See detailSelective location blinding using hash chains
Lenzini, Gabriele; Mauw, Sjouke; Pang, Jun

in Proc. 19th International Workshop on Security Protocols (2011)

See detailAdaptive Trust Management
Seigneur, Jean-Marc; Lenzini, Gabriele; Hulsebosch, Bob

in Serugendo, Giovanna Di Marzo; Gleizes, Marie-Pierre; Karageorgos, Anthony (Eds.) Self-Organizing Software - From Natural to Artificial Adaptation (2011)

Top of Page

2010

Full Text
See detailContextual biometric-based authentication for ubiquitous services
Buhan, Ileana; Lenzini, Gabriele; Radomirovic, Sasa

in Proc. of the 7th International Conference on Ubiquitous Intelligence and Computing (UIC 2010) (2010)

Top of Page

2009

See detailTrust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services
Lenzini, Gabriele

in de Lemos, R.; Fabre, J. C.; Gacek, C.; Gadducci, F.; ~ter Beek, M. H. (Eds.) Architecting Dependable Systems VI 2018-09-18 22:51:18 +0000 2019-06-15 18:11:00 +0200 (2009)

Top of Page

2000

See detailA Formal Specification and Validation of a Control System in Presence of Byzantine Errors
Gnesi, Stefania; Latella, Diego; Lenzini, Gabriele; Amendola, Arturo; Abbaneo, Carlo; Marmo, Pietro

in Proc.~of the 6th Int. Conference Tool and Algorithms for the Construction and Analysis of Systems (TACAS 2000), in ETAPS 2000 -- March 25 - April 2, 2000, Berlin, Germany (2000)

Top of Page

1999

See detailModel Checking of Cryptographic Protocols using HD-Automata
Gnesi, Stefania; Latella, Diego; Lenzini, Gabriele

in 4th Italian Workshop on Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL'99), June 13-15, 1999, Fonte Cerreto (L'Aquila), Italy 2018-09-18 22:51:18 +0000 2019-06-15 18:31:23 +0200 (1999)

Top of Page

1998

See detailSequence Comparison: Close and Open problems
Lenzini, Gabriele

in Proc.~of Workshop ``La matematizzazione della Biologia: storia e problematiche attuali'', Arcidosso (GR), Italy (1998)

Top of Page

1997

See detailAlgorithms For Phylogeny Reconstruction In a New Mathematical Model
Lenzini, Gabriele; Marianelli, Silvia

in Calcolo (1997), 1-4(34), 1-24

Top of Page

1996

See detailAutomatic Phylogeny Reconstruction Under a New Hypothesis
Lenzini, Gabriele; Marianelli, Silvia; Luccio, Fabrizio; Cerrai, P.; Galleni, L.

Scientific Conference (1996)

Top of Page

Undated

Full Text
See detailAccomplishing transparency within the General Data Protection Regulation (Auxiliary material)
Pierina Brustolin Spagnuelo, Dayana; Ferreira, Ana; Lenzini, Gabriele

Learning material (n.d.)

Top of Page