< Terug naar vorige pagina
Onderzoeker
Thomas Van Strydonck
- Trefwoorden:Informatica
Affiliaties
- Software Languages Lab (Onderzoeksgroep)
Lid
Vanaf1 okt 2020 → 1 jan 2023 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 jan 2020 → 31 dec 2021 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 jan 2020 → 31 dec 2021 - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf23 aug 2019 → 22 apr 2021
Publicaties
1 - 3 van 3
- Cap’ ou pas cap’ ?(2021)
Auteurs: Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
Aantal pagina's: 17 - Linear capabilities for fully abstract compilation of separation-logic-verified code(2021)
Auteurs: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pagina's: 1-55 - Efficient and provable local capability revocation using uninitialized capabilities(2021)
Auteurs: Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
Pagina's: 1-30