< Back to previous page
Researcher
Thomas Van Strydonck
- Keywords:Computer science (incl. applied informatics)
Affiliations
- Software Languages Lab (Research group)
Member
From1 Oct 2020 → 1 Jan 2023 - Informatics and Applied Informatics (Department)
Member
From1 Jan 2020 → 31 Dec 2021 - Informatics and Applied Informatics (Department)
Member
From1 Jan 2020 → 31 Dec 2021 - Faculty of Sciences and Bioengineering Sciences (Faculty)
Member
From23 Aug 2019 → 22 Apr 2021
Publications
1 - 3 of 3
- Cap’ ou pas cap’ ?(2021)
Authors: Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
Number of pages: 17 - Linear capabilities for fully abstract compilation of separation-logic-verified code(2021)
Authors: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pages: 1-55 - Efficient and provable local capability revocation using uninitialized capabilities(2021)
Authors: Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
Pages: 1-30