Explore a cutting-edge paper on cryptographic implementation security presented at Eurocrypt 2020. Delve into the Tornado framework for automatically generating probing-secure masked bitsliced implementations. Learn about Satan attacks, masking techniques, and the Tornado pipeline. Understand the verification process and performance implications of this innovative approach to enhancing cryptographic security against side-channel attacks.
Tornado- Automatic Generation of Probing-Secure Masked Bitsliced Implementations
Overview
Syllabus
Introduction
Satan Attacks
Overview
Masking
Automatic Generation
Tornado Pipeline
Verification
Performance
Summary
Taught by
TheIACR
Related Courses
-
Taylor Expansion of Maximum Likelihood Attacks for Masked and Shuffled Implementations
-
Co-Design and Co-Verification of Masked Software Implementations on CPUs
-
Leakage Resilience and Masking Verification in Cryptography
-
IronMask - Versatile Verification of Masking Security
-
Side Channel Attacks and Masking - Eurocrypt 2023 Session
-
Strong Non-Interference and Type-Directed Higher-Order Masking
