Linear capabilities for fully abstract compilation of separation-logic-verified code T Van Strydonck, F Piessens, D Devriese Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 34 | 2019 |
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 |
Proving full-system security properties under multiple attacker models on capability machines T Van Strydonck, AL Georges, A Guéneau, A Trieu, A Timany, F Piessens, ... 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 80-95, 2022 | 8 | 2022 |
Cerise: Program verification on a capability machine in the presence of untrusted code AL Georges*, A Guéneau*, T Van Strydonck, A Timany, A Trieu*, ... Journal of the ACM 71 (1), 1-59, 2024 | 7 | 2024 |
CHERI-TrEE: Flexible enclaves on capability machines T Van Strydonck, J Noorman, J Jackson, LA Dias, R Vanderstraeten, ... 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 1143-1159, 2023 | 6 | 2023 |
Cap’ou pas cap’?: Preuve de programmes pour une machine à capacités en présence de code inconnu AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, D Devriese, ... Journées Francophones des Langages Applicatifs 2021, 2021 | 6 | 2021 |
Linear capabilities for modular fully-abstract compilation of verified code T Van Strydonck, D Devriese, F Piessens Principles of Secure Compilation (PriSC 2018), Location: Los Angeles …, 2018 | 4 | 2018 |
Uninitialized capabilities S Huyghebaert, T Van Strydonck, S Keuchel, D Devriese arXiv preprint arXiv:2006.01608, 2020 | 1 | 2020 |
CHERI-TrEE T Van Strydonck, J Noorman, J Jackson, L Dias, R Vanderstraeten, ... | | 2023 |
Formal Reasoning about Hardware Capability Architectures T Van Strydonck | | 2022 |
Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture T Vercammen, T Van Strydonck, D Devriese 2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 80-85, 2021 | | 2021 |
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 |
Cap’ou pas cap’? AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, D Devriese, ... 32 ème Journées Francophones des Langages Applicatifs, 157, 0 | | |
Program verification on a capability machine in presence of untrusted code AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ... | | |