Tag: Information leakage
aLEAKator verifies masked hardware and software under leakage models
—
What the study found The study presents aLEAKator, an open-source framework for automated formal verification of masked cryptographic accelerators and software on CPUs from HDL descriptions. It uses mixed-domain simulation to model leakage under several 1-probing leakage models, including robust and relaxed versions. Why the authors say this matters The authors say this matters because…