A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
[article]
2020
IACR Cryptology ePrint Archive
We propose a new approach for building efficient, provably secure, and practically hardened implementations of masked algorithms. Our approach is based on a Domain Specific Language in which users can write efficient assembly implementations and fine-grained leakage models. The latter are then used as a basis for formal verification, allowing for the first time formal guarantees for a broad range of device-specific leakage effects not addressed by prior work. The practical benefits of our
dblp:journals/iacr/BartheGGOPP20
fatcat:grapmuk72zgs5f4gpzwlgujnka