Activities per year
- 2 results
Search results
-
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches
Haring, J. (Speaker)
5 Sept 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Automated Verification of Power Contracts
Haring, J. (Speaker)
11 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science