Featured Keynote Speakers

Title: TBD

Abstract: TBD

Biography: Herbert Bos is full professor at the Vrije Universiteit Amsterdam and co-leads the VUSec Systems Security research group with Cristiano Giuffrida, Erik van der Kouwe, Bala Chandrasekaran and Klaus von Gleissenthall. In 2023, he was appointed by royal degree to membership of the Electoral Council (founded 1917), the central authority and advisory body for Dutch elections. Later that same year, he was appointed to membership of the Cyber Security Council (CSR), a national, independent advisory body of the Dutch government and the business community (through the government) composed of high-ranking representatives from public and private sector organisations and the scientific community.

He obtained an ERC Starting Grant to work on reverse engineering and an NWO VICI grant to work on vulnerability detection. In 2024, he was awarded an ERC Advanced Grant for research on detecting, analysing and mitigation transient execution attacks (such as Spectre, Meltdown and MDS) and an NWO Gravitation Grant for building a secure foundation for computer systems. These and other systems security topics are still close to his heart. Other research interests include OS design, microarchitectural attacks and defenses, fuzzing, exploitation, networking, and dependable systems.

Title: TBD

Abstract: TBD

Biography: Computer science researcher, specialised in formal methods and tool-based program specification and verification. Focus on security of applications and platforms for trusted personal devices. Large expertise on thread-modular verification of multithreaded programs, compositional reasoning, and semantics of specification languages.

PhD obtained from Radbouw University of Nijmegen on Java program verification in Higher-order logic with PVS and Isabelle. Graduated from Utrecht University.

Specialties: Program verification, Multithreading, Compositional reasoning, Semantics, Formal methods, Security.