High-Assurance Crypto in Practice - Challenges and Latest Results - CHES 2023

Attend the opening session of CHES 2023, featuring introductory remarks and an insightful invited talk. Begin with the opening remarks chaired by Martin Novotný and Hana Kubátová, setting the stage for the conference. Then, delve into the first invited talk titled "High-assurance crypto in practice — Challenges and latest results" presented by Peter Schwabe, with Diego F. Aranha chairing the session. Explore cutting-edge developments in high-assurance cryptography and its practical applications. Gain valuable insights into the challenges faced in the field and learn about the most recent advancements. The video is structured with opening remarks starting at 00:00 and the invited talk beginning at 15:57. For additional resources, including papers and presentation slides, visit the official CHES 2023 program page.