Steven Keuchel

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Modular Structure

Symbolic Execution

Computer Security

Minimally Invasive

Top Venues

Proc. ACM Program. Lang.

Publications

Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CoRR (2023)
Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CCS (2023)
Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese
Verified symbolic execution with Kripke specification monads (and no meta-programming). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese
Uninitialized Capabilities. CoRR (2020)
Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
Modular, Fully-abstract Compilation by Approximate Back-translation. CoRR (2017)
Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
Modular, Fully-abstract Compilation by Approximate Back-translation. Log. Methods Comput. Sci. 13 (4) (2017)
Steven Keuchel, Stephanie Weirich, Tom Schrijvers
Needle & Knot: Binder Boilerplate Tied Up. ESOP (2016)
Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
Modular monadic meta-theory. ICFP (2013)
Steven Keuchel, Tom Schrijvers
Generic datatypes à la carte. WGP@ICFP (2013)
Steven Keuchel, Johan Jeuring
Generic conversions of abstract syntax representations. WGP@ICFP (2012)