Gabriele Lenzini
Gabriele Lenzini
Senior Scientist Researcher, SnT, University of Luxembourg
Verifierad e-postadress på uni.lu
TitelCiteras avÅr
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
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
1012007
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
672016
Context-aware Trust Evaluation Functions for Dynamic Reconfigurable Systems.
S Toivonen, G Lenzini, I Uusitalo
MTW 190, 2006
542006
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
392000
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
372007
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
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
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
342015
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
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
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
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
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
Security analysis of socio-technical physical systems
G Lenzini, S Mauw, S Ouchani
Computers & electrical engineering 47, 258-274, 2015
182015
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
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
172018
Remark!: A secure protocol for remote exams
R Giustolisi, G Lenzini, PYA Ryan
Cambridge International Workshop on Security Protocols, 38-48, 2014
172014
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20