› DDYF: Differential Dolev-Yao Fuzzing of Cryptographic Protocols - Tom Gouville, Laboratoire Lorrain de Recherche en Informatique et ses Applications
09:00-09:30 (30min)
› Formal Verification of PKCS#1 Signature Parser using Frama-C - Virgile Prevosto, Laboratoire de Sûreté et de Sécurité des Logiciels
09:30-10:00 (30min)