Invited Speakers
Sonia Belaïd is a security expert at CryptoExperts in Paris, France. She holds a PhD in cryptography on side-channel attacks and countermeasures. Her research interests lie within side-channel countermeasures, formal methods, and post-quantum security. In particular, Sonia has contributed to new efficient and formally proven secure countermeasures to thwart side-channel attacks.
Abstract: On the road to building formally verified side-channel countermeasures
In this talk, I will present my research on the generation and verification of side-channel countermeasures as a journey. While explaining this concrete topic and its challenges, this talk will go through the different steps towards the research process as I experienced them.
Prof. Britta Hale is a cryptographer and faculty in the Computer Science Department at the Naval Postgraduate School. Hale has a PhD from the Norwegian University of Science and Technology (NTNU), and a Master’s from Royal Holloway University of London (RHUL). She specializes in cryptographic key exchange and authentication protocols and security following key compromise. Further research areas extend to hybrid PQC, security for unmanned systems, and counter unmanned system design. Hale is also an active MLS working group member in the Internet Engineering Task Force (IETF).
Abstract: Cryptography, Chaos, and the Cutting Edge
Deep in the quiet marble halls of academia lies a tumultuous truth: research is an adventure. Not only does research itself reveal new insights, but the innovator’s process is unpredictable, uncertain, and unforgettable. This talk will explore one person’s path traversing industry and academia, pure mathematics and applied cryptography, and a cross-continental pursuit of the ever-shifting frontier.
