Sander Huyghebaert

According to our database, Sander Huyghebaert authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.

Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Verified symbolic execution with Kripke specification monads (and no meta-programming).

Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese

Proc. ACM Program. Lang., 2022

2021

Efficient and provable local capability revocation using uninitialized capabilities.

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal

Proc. ACM Program. Lang., 2021

2020

Uninitialized Capabilities.

Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese

CoRR, 2020