Thursday, May 25 09:00-16:40
Venue: KTH Lecture Hall F1 Alfvénsalen, Lindstedtsvägen 22, Stockholm

Physical event; no online participation

Agenda:
  9:00  CDIS introduction (Pontus Johnson, KTH; David Olgart, FM)
  9:45  Keynote I: The security implications of the software supply chain (Benoit Baudry, KTH)
10:30  Break; posters and demos
11:00  CDIS research
            Provable security (Roberto Guanciale, KTH)
            How AI can extract secrets from electronic chips? (Elena Dubrova, KTH)

12:00  Lunch; posters and demos

13:30  Keynote II: Defending Advanced Persistent Threats: From Ukraine to Academia (Jamie Collier, Mandiant)
14:15  Security research
           Determining an economic value of high assurance for commodity software security (Virgil Gligor, CMU)
           Prototyping the attack: The road to remote code execution in modern web applications (Musard Balliu, KTH)
15:15  Break
15:30  Panel

16:30  Closing
16:40  Reception

Registration is free, including lunch and refreshments.

For questions, contact stadler@kth.se.

Note: If your browser is logged into your Google account, your associated email address may appear below. Please ignore. The Google account details are not included in your submission.