Follow
Sander Huyghebaert
Sander Huyghebaert
Vrije Universiteit Brussel
Verified email at vub.be
Title
Cited by
Cited by
Year
Efficient and provable local capability revocation using uninitialized capabilities
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ...
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
322021
Verified symbolic execution with Kripke specification monads (and no meta-programming)
S Keuchel, S Huyghebaert, G Lukyanov, D Devriese
Proceedings of the ACM on Programming Languages 6 (ICFP), 194-224, 2022
72022
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
S Huyghebaert, S Keuchel, C De Roover, D Devriese
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
22023
Semi-automatic verification of ISA security guarantees in the form of universal contracts
S Huyghebaert, S Keuchel, D Devriese
Workshop on the Security of Software/Hardware Interfaces (SILM) 23, 2021
22021
Uninitialized capabilities
S Huyghebaert, T Van Strydonck, S Keuchel, D Devriese
arXiv preprint arXiv:2006.01608, 2020
12020
Mechanized Program Verification on a Capability Machine in Presence of Untrusted Code
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ...
2020
Program verification on a capability machine in presence of untrusted code
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ...
The system can't perform the operation now. Try again later.
Articles 1–7