Alessandro Cucchiarelli

Identifiers

No identifiers captured yet.

Papers (1)

1. Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version) cs.CR · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Francesco Spegni 1 shared papers
• Linda Senigagliesi 1 shared papers
• Luca Spalazzi 1 shared papers
• Marco Baldi 1 shared papers