EasyChair Smart Slide
Composition Theorems for CryptoVerif and Application to TLS 1.3
Composition Theorems for CryptoVerif and Application to TLS 1.3