An Open Source Ecosystem for Implementation Security Testing. - Aydin Aysu; Fatemeh Ganji; Trey Marcantonio; Patrick Schaumont (IACR Cryptol. ePrint Arch., 2024)