LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions. - Quentin L. Meunier; Etienne Pons; Karine Heydemann (IACR Cryptol. ePrint Arch., 2021)

LeakageVerif: Efficient and Scalable Formal Verification of Leakage in Symbolic Expressions. - Quentin L. Meunier; Etienne Pons; Karine Heydemann (IEEE Trans. Software Eng., 2023)