Research output per year
Research output per year
Fingerprint
Dive into the research topics where Steven Keuchel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Huyghebaert, S., Keuchel, S., De Roover, C. & Devriese, D., 2023, (Accepted/In press) ACM Conference on Computer and Communications Security.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
File2 Downloads (Pure) -
Semi-automatic Verification of ISA Security Guarantees in the Form of Universal Contracts
Huyghebaert, S., Keuchel, S., Devriese, D. & De Roover, C., 2022, (Unpublished).Research output: Unpublished contribution to conference › Poster
File13 Downloads (Pure) -
Verified symbolic execution with Kripke specification monads (and no meta-programming)
Keuchel, S., Huyghebaert, S., Lukyanov, G. & Devriese, D., 29 Aug 2022, In: Proceedings of the ACM on Programming Languages. 6, ICFP, 3547628.Research output: Contribution to journal › Article › peer-review
Open Access -
Uninitialized Capabilities
Huyghebaert, S., Strydonck, T. V., Keuchel, S. & Devriese, D., 2 Jun 2020, 8 p.Research output: Book/Report › Other report
Open AccessFile15 Downloads (Pure) -
Modular, Fully-abstract Compilation by Approximate Back-translation
Devriese, D., Patrignani, M., Piessens, F. & Keuchel, S., 29 Mar 2017, In: Logical Methods in Computer Science. 13, 4, 38 p.Research output: Contribution to journal › Article › peer-review
12 Citations (Scopus)
-
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 -
Research Visit on Capability Machine Reasoning
Dominique Devriese (Participant), Steven Keuchel (Participant), Thomas Van Strydonck (Participant) & Lars Birkedal (Organiser)
26 Nov 2019 → 28 Nov 2019Activity: Other