A new technical paper titled “Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches” was published by researchers at Graz University of Technology. “Security verification of ...