Verification and Specification through Progress Abstractions

Informations projet

VeSPA

N° de convention de subvention: 795218

DOI

10.3030/795218

Projet clôturé

Date de signature de la CE 6 Avril 2018

Date de début 1 Septembre 2018

Date de fin 31 Août 2020

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 195 454,80

Contribution de l’UE

€ 195 454,80

Coordonné par

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Other (3)

Lemma9: Verification of Cryptographic Protocols with Unbounded Sessions

Auteurs: Emanuele D'Osualdo, Felix Stutz
Publié dans: 2020
Éditeur: Zenodo
DOI: 10.5281/zenodo.3950846

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

Auteurs: Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
Publié dans: CoRR, 2019
Éditeur: arXiv

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Auteurs: Emanuele D'Osualdo, Felix Stutz
Publié dans: CoRR, 2020
Éditeur: arXiv

Conference proceedings (1)

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Auteurs: Emanuele D'Osualdo, Felix Stutz
Publié dans: 31st International Conference on Concurrency Theory (CONCUR 2020), 2020, Page(s) 31:1-31:23, ISBN 978-3-95977-160-3
Éditeur: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.31