Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches. (2024). IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024(4), 110-132. https://doi.org/10.46586/tches.v2024.i4.110-132