Concepedia
Statistics
Publications
3
Citations
57
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, formal verification, and compilers.
Top concepts
CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringCryptographyData Privacy
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 · 28 citations · Full text
Engineering, Information Security, Confidential Computing +20
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 · 17 citations · Full text
Engineering, Compiler Technology, Verification +20
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 · 12 citations · Full text
1–3 of 3