< Back to previous page
Researcher
Thomas Van Strydonck
- Disciplines:Distributed computing
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From18 Sep 2017 → 4 Aug 2020
Projects
1 - 2 of 2
- Hardware Supported Security Countermeasures in PracticeFrom30 Sep 2022 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Provably preserving software security properties against layer-below attacksFrom20 Sep 2017 → 15 Jul 2022Funding: FWO fellowships
Publications
1 - 6 of 6
- CHERI-TrEE: Flexible enclaves on capability machines(2023)
Authors: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pages: 1143 - 1159 - Formal Reasoning about Hardware Capability Architectures(2022)
Authors: Thomas Van Strydonck, Dominique Devriese, Frank Piessens
- Proving full-system security properties under multiple attacker models on capability machines(2022)
Authors: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pages: 80 - 95 - Linear capabilities for fully abstract compilation of separation-logic-verified code(2021)
Authors: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
- Efficient and Provable Local Capability Revocation using Uninitialized Capabilities(2021)
Authors: Thomas Van Strydonck, Sander Huyghebaert, Dominique Devriese
- Linear capabilities for fully abstract compilation of separation-logic-verified code(2019)
Authors: Thomas Van Strydonck, Frank Piessens, Dominique Devriese