Efficiently Detecting Masking Flaws in Software Implementations. - Nima Mahdion; Elisabeth Oswald (IACR Commun. Cryptol., 2024)