Follow
Thomas Van Strydonck
Thomas Van Strydonck
Verified email at kuleuven.be
Title
Cited by
Cited by
Year
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
342019
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
332021
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
82022
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
72024
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
72023
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
62021
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
42018
Uninitialized capabilities
S Huyghebaert, T Van Strydonck, S Keuchel, D Devriese
arXiv preprint arXiv:2006.01608, 2020
12020
CHERI-TrEE
T Van Strydonck, J Noorman, J Jackson, L Dias, R Vanderstraeten, ...
2023
Formal Reasoning about Hardware Capability Architectures
T Van Strydonck, D Devriese, F Piessens
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
Paper Complexiteitstheorie: Primes is in P
T Van Strydonck
2016
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, ...
The system can't perform the operation now. Try again later.
Articles 1–15