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](https://easychair.org/smart-program/CONCUR20/index.html), is now available online and can be seen [on the link here](https://youtu.be/h9fsG_vfeFw?t=1256) or below.
