ANR Project

TECAP

TECAP: Protocol Analysis - Combining Existing Tools

ANR-17-CE39-0004-01

Meeting 09/10/2020 and 15/10/2020

The meeting of the ANR Project TECAP was held on October 09 and 15 2020 online.

Venue

On Zoom !

Program

Friday 9 morning

• 09:00 Vincent Cheval: Welcome speech


• 09:15 Kristina Sojakova: Verifying Straight-Line Distributed Protocols using Interactive Probabilistic Distribution Logic
• 10:00 Jannik Dreier: Lemma generation in Tamarin


• 10:45 Break


• 11:00 Special session on CryptoVerif and Easycrypt


• 12:30 Vincent Cheval: Overview of ProVerif 2.02

Thursday 15 afternoon

• 14:00 Solène Moreau : An Interactive Prover for Protocol Verification in the Computational Model


• 14:45 Special session on Squirrel


• 15:45 Benjamin Lipp: Hybrid Public Key Encryption: Mechanized Provable Security of a New IRTF Standard


• 16:30 Break
• 
  
• 16:45 Special session on ProVerif
• 
  
• 17:45 Special session on typing result
• 
  
• 18:15 Vincent Cheval: Concluding remarks