Verification and Specification through Progress Abstractions

Informacje na temat projektu

VeSPA

Identyfikator umowy o grant: 795218

DOI 10.3030/795218

Projekt został zamknięty

Data podpisania przez KE 6 Kwietnia 2018

Data rozpoczęcia 1 Września 2018

Data zakończenia 31 Sierpnia 2020

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity € 195 454,80

Wkład UE € 195 454,80

Koordynowany przez

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

Publikacje

Other (3)

Lemma9: Verification of Cryptographic Protocols with Unbounded Sessions

Autorzy: Emanuele D'Osualdo, Felix Stutz
Opublikowane w: 2020
Wydawca: Zenodo
DOI: 10.5281/zenodo.3950846

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

Autorzy: Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
Opublikowane w: CoRR, 2019
Wydawca: arXiv

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autorzy: Emanuele D'Osualdo, Felix Stutz
Opublikowane w: CoRR, 2020
Wydawca: arXiv

Conference proceedings (1)

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autorzy: Emanuele D'Osualdo, Felix Stutz
Opublikowane w: 31st International Conference on Concurrency Theory (CONCUR 2020), 2020, Strona(/y) 31:1-31:23, ISBN 978-3-95977-160-3
Wydawca: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.31