Verification and Specification through Progress Abstractions

Projektinformationen

VeSPA

ID Finanzhilfevereinbarung: 795218

DOI 10.3030/795218

Projekt abgeschlossen

EK-Unterschriftsdatum 6 April 2018

Startdatum 1 September 2018

Enddatum 31 August 2020

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten € 195 454,80

EU-Beitrag € 195 454,80

Koordiniert durch

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

Veröffentlichungen

Other (3)

Lemma9: Verification of Cryptographic Protocols with Unbounded Sessions

Autoren: Emanuele D'Osualdo, Felix Stutz
Veröffentlicht in: 2020
Herausgeber: Zenodo
DOI: 10.5281/zenodo.3950846

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

Autoren: Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
Veröffentlicht in: CoRR, 2019
Herausgeber: arXiv

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autoren: Emanuele D'Osualdo, Felix Stutz
Veröffentlicht in: CoRR, 2020
Herausgeber: arXiv

Conference proceedings (1)

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autoren: Emanuele D'Osualdo, Felix Stutz
Veröffentlicht in: 31st International Conference on Concurrency Theory (CONCUR 2020), 2020, Seite(n) 31:1-31:23, ISBN 978-3-95977-160-3
Herausgeber: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.31