NiRvAna
Noninterference and Reversibility Analysis in Private Blockchains
Kick-off Meeting in Fano (2022)
- February 9
- Experiences on the Use of Decentralized Systems for Data Management and Retrieval
Stefano Ferretti (UniUrb) -
Transaction Confirmation in Proof-of-Work Blockchains: Auctions, Delays and Droppings
Andrea Marin (UniVe) -
Blockchain, Bitcoin and Cryptocurrencies: The Internet of Money
Francesco Fabris (UniTs)
-
From Noninterference to Trust: Some Considerations in the Setting of the Project NiRvAna
Alessandro Aldini (UniUrb) - Delimited Persistent Stochastic Noninterference
Carla Piazza (UniUd) - The Role of BAX in the Project "i-LABS - Marche Technological Regional Platforms"
Luca Romanelli (BAX Pesaro) - Proportional Lumpability
Carla Piazza (UniUd) - Modeling Reversible Systems
Claudio A. Mezzina (UniUrb) - On the Relations between Lumpability and Reversibility in Continuous-Time Markov Chains
Sabina Rossi (UniVe) - Towards Bridging Time and Causal Reversibility
Claudio A. Mezzina (UniUrb)
- Central Bank Digital Currencies and the Digital Euro
Francesco Fabris (UniTs)
