< Terug naar vorige pagina
Onderzoeker
Thomas Van Strydonck
- Disciplines:Distributed computing
Affiliaties
- Gedistribueerde en Veilige Software (DistriNet) (Afdeling)
Lid
Vanaf1 aug 2020 → Heden - Afdeling Informatica (Afdeling)
Lid
Vanaf18 sep 2017 → 4 aug 2020
Projecten
1 - 2 of 2
- Door hardware ondersteunde beveiligingsmaatregelen in de praktijkVanaf30 sep 2022 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Aantoonbaar behouden van veiligheidseigenschappen in aanwezigheid van aanvallers op een lager abstractieniveauVanaf20 sep 2017 → 15 jul 2022Financiering: FWO mandaten
Publicaties
1 - 6 van 6
- CHERI-TrEE: Flexible enclaves on capability machines(2023)
Auteurs: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pagina's: 1143 - 1159 - Formal Reasoning about Hardware Capability Architectures(2022)
Auteurs: Thomas Van Strydonck, Dominique Devriese, Frank Piessens
- Proving full-system security properties under multiple attacker models on capability machines(2022)
Auteurs: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pagina's: 80 - 95 - Linear capabilities for fully abstract compilation of separation-logic-verified code(2021)
Auteurs: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
- Efficient and Provable Local Capability Revocation using Uninitialized Capabilities(2021)
Auteurs: Thomas Van Strydonck, Sander Huyghebaert, Dominique Devriese
- Linear capabilities for fully abstract compilation of separation-logic-verified code(2019)
Auteurs: Thomas Van Strydonck, Frank Piessens, Dominique Devriese