Tag: Cryptography
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…
New hashing scheme preserves ell1 distance predicates
—
What the study found The authors propose the first property-preserving hashing (PPH) construction for an ell1-distance predicate, which checks whether two one-sided ell1 distances between images stay within a threshold. They report that the scheme is highly efficient and has strong correctness guarantees. Why the authors say this matters The authors connect this work to…
