Rosita++: Automatic Higher-Order Leakage Elimination from Cryptographic Code
Madura A. Shelton, Łukasz Chmielewski, Niels Samwel, Markus Wagner, Lejla Batina, Yuval Yarom
Abstract
Side-channel attacks are a major threat to the security of cryptographic implementations, particularly for small devices that are under the physical control of the adversary. While several strategies for protecting against side-channel attacks exist, these often fail in practice due to unintended interactions between values deep within the CPU. To detect and protect from side-channel attacks, several automated tools have recently been proposed; one of their common limitations is that they only support first-order leakage.
Topics & Concepts
Computer scienceComputer securityCryptographyLeakage (economics)Code (set theory)Cryptographic protocolCryptographic primitiveSide channel attackVulnerability (computing)ConfidentialityControl (management)Redundancy (engineering)Cryptographic Implementations and SecuritySecurity and Verification in ComputingAdvanced Malware Detection Techniques