› Formal verification of security protocols: the Squirrel prover - Stéphanie Delaune, Institut de Recherche en Informatique et Systèmes Aléatoires
16:00-16:45 (45min)
› Evolving Digital Forensic Sciences - Lena Klasén, Department of National Operations, Swedish Police Authority, Sweden and Information Coding, Department of Electrical Engineering, Linköping University
14:00-15:00 (1h)