Best Paper Award @ CHES 2024
Johannes Haring, Vedad Hadžić and Roderick Bloem won the Best Paper Award at CHES 2024 with their paper “Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches”!
Congratulations!
About the paper:
Security verification of masked cryptographic software must consider CPU microarchitectural side-effects. We extend leakage contracts to address glitches, bridging the gap between security models and real-world attack capabilities. Our approach introduces the first end-to-end verification tool for transient leakage contracts, ensuring fully machine-checked verification from hardware to software using a single contract.
About CHES:
The annual Conference on Cryptographic Hardware and Embedded Systems (CHES) is the premier venue for research on design and analysis of cryptographic hardware and software implementations. This year, CHES took place in Halifax, Canada, and was organized by the International Association for Cryptologic Research (IACR).