Gabriele Lenzini
Gabriele Lenzini
Interdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of Luxembourg
Verified email at uni.lu
Title
Cited by
Cited by
Year
Audit-based compliance control
JG Cederquist, R Corin, MAC Dekker, S Etalle, JI den Hartog, G Lenzini
International Journal of Information Security 6 (2), 133-151, 2007
1172007
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
1042004
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 (1), 1-9, 2016
902016
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
672015
Context-aware Trust Evaluation Functions for Dynamic Reconfigurable Systems.
S Toivonen, G Lenzini, I Uusitalo
MTW 190, 2006
582006
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
492018
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
462000
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
422012
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
412007
Context sensitive adaptive authentication
RJ Hulsebosch, MS Bargh, G Lenzini, PWG Ebben, SM Iacob
European Conference on Smart Sensing and Context, 93-109, 2007
412007
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
392008
Managing trustworthiness in component-based embedded systems
G Lenzini, A Tokmakoff, J Muskens
Electronic Notes in Theoretical Computer Science 179, 143-155, 2007
392007
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
382015
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
302003
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
282005
Security analysis of socio-technical physical systems
G Lenzini, S Mauw, S Ouchani
Computers & electrical engineering 47, 258-274, 2015
242015
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
222015
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
202014
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
202005
Towards legal compliance by correlating standards and laws with a semi-automated methodology
C Bartolini, A Giurgiu, G Lenzini, L Robaldo
Benelux Conference on Artificial Intelligence, 47-62, 2016
192016
The system can't perform the operation now. Try again later.
Articles 1–20