19 citations · 31 across the 3 of their papers we have counts for
3 papers
Security analysis of a blockchain-based protocol for the certification of academic credentials
Marco Baldi, Franco Chiaraluce, Migelan Kodra +1
We consider a blockchain-based protocol for the certification of academic credentials named Blockcerts, which is currently used worldwide for validating digital certificates of com…
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version)
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi +2
Recent developments in cloud storage architectures have originated new models of online storage as cooperative storage systems and interconnected clouds. Such distributed environme…
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version)
Luca Spalazzi, Francesco Spegni
In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e. systems obtained by…