Thomas Van Strydonck

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Programs Written

Parallel Tree Search

Computational Power

Propositional Dynamic Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. J. ACM 71 (1) (2024)
Thomas Van Strydonck, Job Noorman, Jennifer Jackson, Leonardo Alves Dias, Robin Vanderstraeten, David F. Oswald, Frank Piessens, Dominique Devriese
CHERI-TrEE: Flexible enclaves on capability machines. EuroS&P (2023)
Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
Proving full-system security properties under multiple attacker models on capability machines. CSF (2022)
Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Linear capabilities for fully abstract compilation of separation-logic-verified code. J. Funct. Program. 31 (2021)
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
Efficient and provable local capability revocation using uninitialized capabilities. Proc. ACM Program. Lang. 5 (POPL) (2021)
Thijs Vercammen, Thomas Van Strydonck, Dominique Devriese
Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture. EuroS&P Workshops (2021)
Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese
Uninitialized Capabilities. CoRR (2020)
Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Linear capabilities for fully abstract compilation of separation-logic-verified code. Proc. ACM Program. Lang. 3 (ICFP) (2019)