diff --git a/_posts/2020-09-3-concurtalk.md b/_posts/2020-09-3-concurtalk.md index 5cc1607d612a7e152bf53160214b4ac32b60c72e..d79c01215ce8ba7d9eb8a4bf8c998b7496d7902c 100644 --- a/_posts/2020-09-3-concurtalk.md +++ b/_posts/2020-09-3-concurtalk.md @@ -2,6 +2,6 @@ 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. +The talk by Emanuele D’Osualdo and Felix Stutz on their paper ["Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions"](https://vtss.doc.ic.ac.uk/publications/DOsualdoS2020Decidable.html), 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. <iframe width="560" height="315" src="https://www.youtube-nocookie.com/embed/h9fsG_vfeFw?start=1262" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> \ No newline at end of file