Haring, Johannes, Vedad Hadži´c, and Roderick Bloem. 2024. “Closing the Gap: Leakage Contracts for Processors With Transitions and Glitches”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2024 (4): 110-32. https://doi.org/10.46586/tches.v2024.i4.110-132.