Concepedia
Statistics
Publications
3
Citations
61
H-Index
Active since
2019
Affiliations
KU Leuven(Current)
Vrije Universiteit Brussel
Aarhus University
Thomas Van Strydonck is an author at KU Leuven specializing in computer science, computing, and computer engineering.
Publications per year
2019–2023
Efficient and provable local capability revocation using uninitialized capabilities
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Proceedings of the ACM on Programming Languages · 2021 · 29 citations · Full text
Computing, Computer Engineering, Computer Science +11
Linear capabilities for fully abstract compilation of separation-logic-verified code
Thomas Van Strydonck, Frank Piessens, Dominique Devriese · Proceedings of the ACM on Programming Languages · 2019 · 19 citations · Full text
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Journal of the ACM · 2023 · 13 citations · Full text
Computing, Computer Engineering, Computer Science +15
1–3 of 3