19 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.CR2019★ 19 cited
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…
cs.CR2016★ 1 cited
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…