Steven Keuchel

Research activity per year

If you made any changes in Pure these will be visible here soon.

Filter

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Sander Huyghebaert (Speaker), Steven Keuchel (Contributor), Coen De Roover (Contributor) & Dominique Devriese (Contributor)
12 Dec 2022
Activity: Talk or presentation › Talk or presentation at a workshop/seminar
Semi-automatic verification of ISA security guarantees in the form of universal contracts
Sander Huyghebaert (Speaker), Steven Keuchel (Contributor) & Dominique Devriese (Contributor)
6 Sep 2021
Activity: Talk or presentation › Talk or presentation at a workshop/seminar
Katamaran: semi-automated verification of ISA specifications
Steven Keuchel (Speaker), Dominique Devriese (Contributor) & Georgy Lukyanov (Contributor)
16 Jun 2020
Activity: Talk or presentation › Talk or presentation at a workshop/seminar

File

Activities