Thomas Van Strydonck

According to our database, Thomas Van Strydonck authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal

J. ACM, 2024

2023

CHERI-TrEE: Flexible enclaves on capability machines.

Thomas Van Strydonck, Job Noorman, Jennifer Jackson, Leonardo Alves Dias, Robin Vanderstraeten, David F. Oswald, Frank Piessens, Dominique Devriese

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

2022

Proving full-system security properties under multiple attacker models on capability machines.

Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Proving full-system security properties under multiple attacker models on capability machines: Coq mechanization.

Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese

Dataset, September, 2021

Efficient and provable local capability revocation using uninitialized capabilities.

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal

Proc. ACM Program. Lang., 2021

Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture.

Thijs Vercammen, Thomas Van Strydonck, Dominique Devriese

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

2020

Uninitialized Capabilities.

Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese

CoRR, 2020

2019

Linear capabilities for fully abstract compilation of separation-logic-verified code.

Thomas Van Strydonck, Frank Piessens, Dominique Devriese

Proc. ACM Program. Lang., 2019