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