Gabriele Lenzini
Gabriele Lenzini
Interdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of Luxembourg
Email verificata su uni.lu
Titolo
Citata da
Citata da
Anno
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
1042007
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
1032004
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
722016
Context-aware Trust Evaluation Functions for Dynamic Reconfigurable Systems.
S Toivonen, G Lenzini, I Uusitalo
MTW 190, 2006
552006
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
462015
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
402000
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
372012
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
Context sensitive adaptive authentication
RJ Hulsebosch, MS Bargh, G Lenzini, PWG Ebben, SM Iacob
European Conference on Smart Sensing and Context, 93-109, 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
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
352008
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
302015
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
292003
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
272018
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
262005
Security analysis of socio-technical physical systems
G Lenzini, S Mauw, S Ouchani
Computers & electrical engineering 47, 258-274, 2015
192015
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
192015
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
192005
Remark!: A secure protocol for remote exams
R Giustolisi, G Lenzini, PYA Ryan
Cambridge International Workshop on Security Protocols, 38-48, 2014
182014
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
172014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20