Verification and Specification through Progress Abstractions

Informazioni relative al progetto

VeSPA

ID dell’accordo di sovvenzione: 795218

DOI

10.3030/795218

Progetto chiuso

Data della firma CE 6 Aprile 2018

Data di avvio 1 Settembre 2018

Data di completamento 31 Agosto 2020

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 195 454,80

Contributo UE

€ 195 454,80

Coordinato da

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Other (3)

Lemma9: Verification of Cryptographic Protocols with Unbounded Sessions

Autori: Emanuele D'Osualdo, Felix Stutz
Pubblicato in: 2020
Editore: Zenodo
DOI: 10.5281/zenodo.3950846

TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

Autori: Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
Pubblicato in: CoRR, 2019
Editore: arXiv

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autori: Emanuele D'Osualdo, Felix Stutz
Pubblicato in: CoRR, 2020
Editore: arXiv

Conference proceedings (1)

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autori: Emanuele D'Osualdo, Felix Stutz
Pubblicato in: 31st International Conference on Concurrency Theory (CONCUR 2020), 2020, Pagina/e 31:1-31:23, ISBN 978-3-95977-160-3
Editore: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.31