LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions

Quentin L. Meunier, Etienne Pons, Karine Heydemann. LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions. IACR Cryptology ePrint Archive, 2021:1468, 2021. [doi]

Abstract

Abstract is missing.