Cryptology ePrint Archive: Report 2021/1468

Available versions in chronological order


LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions
Quentin L. Meunier and Etienne Pons and Karine Heydemann
Original publication (in the same form): IEEE Transactions on Software Engineering


[ Cryptology ePrint archive ]