Closing the Gap: Leakage Contracts for Processors With Transitions and Glitches. TCHES 2024, 2024 (4), 110-132. https://doi.org/10.46586/tches.v2024.i4.110-132.