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
Stefano Ferretti
Claudio A. Mezzina
Vincenzo P. Di Perna
Andrea Esposito
Ludovico Fusco
Venezia
Sabina Rossi
(site leader)
Simonetta Balsamo
Andrea Marin
Lorenzo Benetollo
Ivan Malakhov
Diletta Olliaro
Daria Smuseva
Udine
Carla Piazza
(site leader)
Francesco Fabris
Dalila Ressi
Riccardo Romanello
External Collaborators:
BAX srl
within the
technological platforms of Regione Marche
Valerio Schiavoni
(University of Neuchatel, Switzerland)
Freely inspired by
w3.css