Close Menu
NiRvAna
Home
Description
Research Units
Work Packages
Meetings
Publications
Documentation
☰
Nirvana Noninterference and Reversibility Analysis in Private Blockchains
NiRvAna
Noninterference and Reversibility Analysis in Private Blockchains
Research Units
Urbino
Marco Bernardo
(site leader)
Alessandro Aldini
Margherita Carletti
Claudio A. Mezzina
Federico Calandra
Vincenzo P. Di Perna
Andrea Esposito
Michele Foderaro
Ludovico Fusco
Venezia
Sabina Rossi
(site leader)
Simonetta Balsamo
Michele Bugliesi
Andrea Marin
Alvise Spanò
Lorenzo Benetollo
Samia Guesmi
Ivan Malakhov
Diletta Olliaro
Dalila Ressi
Udine
Carla Piazza
(site leader)
Alberto Casagrande
Francesco Fabris
Riccardo Romanello
Daria Smuseva
External Collaborators:
BAX srl
within the
technological platforms of Regione Marche
Stefano Ferretti
(University of Bologna, Italy)
Valerio Schiavoni
(University of Neuchatel, Switzerland)
Freely inspired by
w3.css