The German Informatics Society as part of the Ecosystem Formally Verifiable IT (EvIT) has launched a new webinar series called “Trustworthy Tuesday”. Once a month, researchers present their work in the field of formal verification. After lunch at 2 pm CET, you can join our “snackable science” format.
In the next session on July 21st, 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) via Zoom. The recording will be uploaded to the EvIT website after the event.
If you have any questions, please reach out to protect@gi.de.
