Trustworthy Tuesday #10 - Hardware Security Guarantees with UPEC
Lucas Deutschmann presents the UPEC method from the field of formal verification, which can be used to systematically identify vulnerabilities in the microarchitecture.
Venue
Online (Zoom)-, Deutschland
Description
In our next session, Lucas Deutschmann will give his presentation “Beyond Bug Hunting: Exhaustive Hardware Security Guarantees with UPEC”. UPEC is a formal verification methodology designed to systematically detect microarchitectural vulnerabilities and provide exhaustive security guarantees for the entire system stack.
Microarchitectural side-channel attacks have repeatedly compromised system security, undermining the role of hardware as an immutable root of trust.
Although software-based countermeasures are widely used, their effectiveness depends heavily on assumptions about the behavior of the underlying hardware.
To bridge this gap, this presentation introduces Unique Program Execution Checking (UPEC).
The event is happening on July 21st, starting at 2pm (UTC +2). The event will be held on Zoom. The recording will be uploaded to the EvIT website after the event.
Zoom link: https://meetgi.zoom.us/j/63596674634?pwd=Ca9T0fqnGb8hL0eRKPxWqzD0dUs2r5.1
Registration
- Costs
- Free of charge
- Note
- You can register online for this event.
- Registration deadline
- 20.07.2026