Steven Keuchel

Research activity per year

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

Filter

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