default author photo

Gabriele Lenzini

Universite du Luxembourg

L-1511 Luxembourg

Luxembourg

  • Universite du Luxembourg

SCHOLARLY PAPERS

2

DOWNLOADS

166

TOTAL CITATIONS

0

Scholarly Papers (2)

Actions:
Email selected abstracts
1.

An Agile Approach to Validate a Formal Representation of the GDPR

Bartolini C., Lenzini G., Santos C., An Agile Approach to Validate a Formal Representation of the GDPR. In: Kojima K., Sakamoto M., Mineshima K., Satoh K. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2018. Lecture Notes in Computer Science, vol 11717. Springer, 2019
Number of pages: 16 Posted: 28 Apr 2020
Cesare Bartolini, Gabriele Lenzini and Cristiana Santos
Independent, Universite du Luxembourg and Utrecht University
Downloads 117 (608,822)

Abstract:

Loading...

General Data Protection Regulation, GDPR, Data Protection, Compliance, Legal Validation, Usability

2.

Secure Authentication and Traceability of Physical Objects

Number of pages: 30 Posted: 15 Jul 2025
Mónica P. Arenas, Gabriele Lenzini, Mohammadamin Rakeei, Peter Y.A. Ryan, Marjan Škrobot and Maria Zhekova
University of Luxembourg - Interdisciplinary Centre for Security, Reliability and Trust (SnT), Universite du Luxembourg, affiliation not provided to SSRN, affiliation not provided to SSRN, affiliation not provided to SSRN and affiliation not provided to SSRN
Downloads 49 (1,074,648)

Abstract:

Loading...

Asset Provenance, Verification, Reliability, Robustness, Formal Verification