Skip to content
Snippets Groups Projects
Normal view Permalink
2020-09-3-concurtalk.md 726 B
Newer Older
  • Learn to ignore specific revisions
    • Teresa Carbajo-Garcia's avatar
    Add new file
    Teresa Carbajo-Garcia committed
    1 
    ---
    Teresa Carbajo-Garcia's avatar
    Update 2020-09-3-concurtalk.md  
    Teresa Carbajo-Garcia committed
    2 
    title: Video talk on Decidable Inductive Invariants at CONCUR 2020
    Teresa Carbajo-Garcia's avatar
    Add new file
    Teresa Carbajo-Garcia committed
    3 4 
    ---
    Teresa Carbajo-Garcia's avatar
    Update 2020-09-3-concurtalk.md  
    Teresa Carbajo-Garcia committed
    5 
    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.
    Teresa Carbajo-Garcia's avatar
    Add new file
    Teresa Carbajo-Garcia committed
    6 7 
    
<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>