Verification and Specification through Progress Abstractions

Información del proyecto

VeSPA

Identificador del acuerdo de subvención: 795218

DOI

10.3030/795218

Proyecto cerrado

Fecha de la firma de la CE 6 Abril 2018

Fecha de inicio 1 Septiembre 2018

Fecha de finalización 31 Agosto 2020

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 195 454,80

Aportación de la UE

€ 195 454,80

Coordinado por

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Other (3)

Lemma9: Verification of Cryptographic Protocols with Unbounded Sessions

Autores: Emanuele D'Osualdo, Felix Stutz
Publicado en: 2020
Editor: Zenodo
DOI: 10.5281/zenodo.3950846

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

Autores: Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
Publicado en: CoRR, 2019
Editor: arXiv

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autores: Emanuele D'Osualdo, Felix Stutz
Publicado en: CoRR, 2020
Editor: arXiv

Conference proceedings (1)

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autores: Emanuele D'Osualdo, Felix Stutz
Publicado en: 31st International Conference on Concurrency Theory (CONCUR 2020), 2020, Página(s) 31:1-31:23, ISBN 978-3-95977-160-3
Editor: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.31