Sander Huyghebaert

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Theoretical Guarantees

Symbolic Execution

Security Problems

Statistical Databases

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)
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
Efficient and provable local capability revocation using uninitialized capabilities. Proc. ACM Program. Lang. 5 (POPL) (2021)
Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese
Uninitialized Capabilities. CoRR (2020)