Verification and Specification through Progress Abstractions

Project Information

VeSPA

Grant agreement ID: 795218

DOI

10.3030/795218

Project closed

EC signature date 6 April 2018

Start date 1 September 2018

End date 31 August 2020

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 195 454,80

EU contribution

€ 195 454,80

Coordinated by

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Other (3)

Lemma9: Verification of Cryptographic Protocols with Unbounded Sessions

Author(s): Emanuele D'Osualdo, Felix Stutz
Published in: 2020
Publisher: Zenodo
DOI: 10.5281/zenodo.3950846

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

Author(s): Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
Published in: CoRR, 2019
Publisher: arXiv

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Author(s): Emanuele D'Osualdo, Felix Stutz
Published in: CoRR, 2020
Publisher: arXiv

Conference proceedings (1)

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

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