Explore a comprehensive session on security proofs from the Fast Software Encryption 2023 conference, featuring expert discussions on cryptographic techniques and their mathematical foundations. Delve into advanced topics in cryptanalysis, algorithm design, and formal verification methods used to ensure the robustness of encryption systems. Gain insights from leading researchers in the field as they present cutting-edge findings and methodologies. Access the full program details online to complement your learning experience and discover related talks in the series.
Overview
Syllabus
Session on Security Proofs
Taught by
TheIACR