Activities per year
- 3 results
Search results
-
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 2022Activity: 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 2021Activity: 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 2020Activity: Talk or presentation › Talk or presentation at a workshop/seminar
File