Home // SnT // People // Gabriele LENZINI

Gabriele LENZINI

Gabriele LENZINI

Research associate

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Postal Address Weicker Building, Université du Luxembourg
4, rue Alphonse Weicker
L-2721 Luxembourg
Campus Office C107
Email
Telephone (+352) 46 66 44 5778
Joined the University in 2010

Dr. Gabriele Lenzini expertise is about modelling, analysis and design of secure and trustworthy systems. He a PhD, in Computer Science (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 a member of the Applied Security and Information Assurance (APSIA) research group. 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.stast2013.uni.lu).

Last updated on: Thursday, 01 August 2013

powered by
orbilu.uni.lu

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)

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)

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

Scientific Conference (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 detailSocio-technical formal analysis of TLS certificate validation in modern browsers
Bella, Giampaolo; Giustolisi, Rosario; Lenzini, Gabriele

in PST (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 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 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)

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