Gabriele Lenzini
Gabriele Lenzini
Senior Scientist Researcher, SnT, University of Luxembourg
Verified email at uni.lu
TitleCited byYear
A logic for auditing accountability in decentralized systems
R Corin, S Etalle, J den Hartog, G Lenzini, I Staicu
IFIP World Computer Congress, TC 1, 187-201, 2004
982004
Audit-based compliance control
JG Cederquist, R Corin, MAC Dekker, S Etalle, JI den Hartog, G Lenzini
International Journal of Information Security 6 (2-3), 133-151, 2007
972007
High-fidelity spherical cholesteric liquid crystal Bragg reflectors generating unclonable patterns for secure authentication
Y Geng, JH Noh, I Drevensek-Olenik, R Rupp, G Lenzini, JPF Lagerwall
Scientific reports 6, 26840, 2016
662016
Context-aware Trust Evaluation Functions for Dynamic Reconfigurable Systems.
S Toivonen, G Lenzini, I Uusitalo
MTW 190, 2006
532006
An automatic SPIN validation of a safety critical railway control system
S Gnesi, G Lenzini, D Latella, C Abbaneo, A Amendola, P Marmo
Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000
382000
Trust management model and architecture for context-aware service platforms
R Neisse, M Wegdam, M Van Sinderen, G Lenzini
OTM Confederated International Conferences" On the Move to Meaningful …, 2007
372007
Managing trustworthiness in component-based embedded systems
G Lenzini, A Tokmakoff, J Muskens
Electronic Notes in Theoretical Computer Science 179, 143-155, 2007
362007
Context sensitive adaptive authentication
RJ Hulsebosch, MS Bargh, G Lenzini, PWG Ebben, SM Iacob
European Conference on Smart Sensing and Context, 93-109, 2007
352007
A group signature based electronic toll pricing system
X Chen, G Lenzini, S Mauw, J Pang
2012 Seventh International Conference on Availability, Reliability and …, 2012
342012
Trust-enhanced security in location-based adaptive authentication
G Lenzini, MS Bargh, B Hulsebosch
Electronic Notes in Theoretical Computer Science 197 (2), 105-119, 2008
342008
Principles of persuasion in social engineering and their use in phishing
A Ferreira, L Coventry, G Lenzini
International Conference on Human Aspects of Information Security, Privacy …, 2015
332015
An analysis of social engineering principles in effective phishing
A Ferreira, G Lenzini
2015 Workshop on Socio-Technical Aspects in Security and Trust, 9-16, 2015
282015
On representing biological systems through multiset rewriting
S Bistarelli, I Cervesato, G Lenzini, R Marangoni, F Martinelli
International Conference on Computer Aided Systems Theory, 415-426, 2003
282003
Relating multiset rewriting and process algebras for security protocol analysis
S Bistarelli, I Cervesato, G Lenzini, F Martinelli
Journal of Computer Security 13 (1), 3-47, 2005
242005
Logical specification and analysis of fault tolerant systems through partial model checking
S Gnesi, G Lenzini, F Martinelli
Electronic Notes in Theoretical Computer Science 118, 57-70, 2005
182005
Security analysis of socio-technical physical systems
G Lenzini, S Mauw, S Ouchani
Computers & electrical engineering 47, 258-274, 2015
172015
A framework for analyzing verifiability in traditional and electronic exams
J Dreier, R Giustolisi, A Kassem, P Lafourcade, G Lenzini
International Conference on Information Security Practice and Experience …, 2015
172015
Cholesteric Liquid Crystal Shells as Enabling Material for Information‐Rich Design and Architecture
M Schwartz, G Lenzini, Y Geng, PB Rønne, PYA Ryan, JPF Lagerwall
Advanced Materials 30 (30), 1707382, 2018
162018
Socio-technical security analysis of wireless hotspots
A Ferreira, JL Huynen, V Koenig, G Lenzini
International Conference on Human Aspects of Information Security, Privacy …, 2014
162014
Socio-technical study on the effect of trust and context when choosing wifi names
A Ferreira, JL Huynen, V Koenig, G Lenzini, S Rivas
International Workshop on Security and Trust Management, 131-143, 2013
162013
The system can't perform the operation now. Try again later.
Articles 1–20