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.