Update 2020-09-3-concurtalk.md

_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