Nirvana Noninterference and Reversibility Analysis in Private Blockchains

NiRvAna


Noninterference and Reversibility Analysis in Private Blockchains

Project


The NiRvAna project, funded by the 2020 MUR-PRIN call, is about the use of formal methods in computer science for studying noninterference and reversibility properties of private blockchains. A special application interest is in the field of central bank digital currency (CBDC).

Starting Date June 1, 2022
Project Duration 36 months
Principal Investigator Marco Bernardo (University of Urbino)
Site Leaders Marco Bernardo (University of Urbino)
Carla Piazza (University of Udine)
Sabina Rossi (University Ca' Foscari Venezia)
Work Package Leaders Alessandro Aldini (WP2)
Marco Bernardo (WP1, WP5)
Francesco Fabris (WP5)
Andrea Marin (WP3)
Claudio A. Mezzina (WP3, WP4)
Carla Piazza (WP2, WP4)
Sabina Rossi (WP1, WP2)

Freely inspired by w3.css