Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches. - Johannes Haring; Vedad Hadzic; Roderick Bloem (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)