Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
2020-09-3-concurtalk.md 726 B 
title: Video talk on Decidable Inductive Invariants at CONCUR 2020

The talk by Emanuele D’Osualdo and Felix Stutz on their paper "Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions", presented at CONCUR 2020, is now available online and can be seen on the link here or below.