Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Francesco Spegni

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage

scientific article published in 2017

Parameterized model checking of rendezvous systems.

scientific article published on 6 June 2017

Parametric and probabilistic model checking of confidentiality in data dispersal algorithms

scientific article published in July 2016

Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach

scientific article published in July 2017

Verifying temporal specifications of Java programs

scientific article published in 2020

Paulina is supported by:

About Paulina

Help