Skip to main content
European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Verification and Specification through Progress Abstractions

Publications

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

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

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible