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 | 32 | 2021 |
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 | 6 | 2022 |
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 | 2 | 2023 |
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 | 2 | 2021 |
Uninitialized capabilities S Huyghebaert, T Van Strydonck, S Keuchel, D Devriese arXiv preprint arXiv:2006.01608, 2020 | 1 | 2020 |
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, ... | | |