G. Lenzini

From MaRDI portal
Person:2228446

Available identifiers

zbMath Open lenzini.gabrieleMaRDI QIDQ2228446

List of research outcomes





PublicationDate of PublicationType
A secure authentication protocol for cholesteric spherical reflectors using homomorphic encryption2023-06-02Paper
Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base2021-02-17Paper
Logical specification and analysis of fault tolerant systems through partial model checking2013-09-20Paper
A team automaton scenario for the analysis of security properties of communication protocols2008-07-29Paper
https://portal.mardi4nfdi.de/entity/Q27290892001-11-04Paper
Algorithms for phylogeny reconstruction in a new mathematical model1999-05-30Paper

Research outcomes over time

This page was built for person: G. Lenzini

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2228446&oldid=11076310"
Powered by MediaWiki