< Terug naar vorige pagina
Onderzoeker
Sander Huyghebaert
- Trefwoorden (Vrije Universiteit Brussel):Informatica
- Disciplines (KU Leuven):Computersysteembeveiliging
- Zie ook: Sander Huyghebaert (KU Leuven)
Affiliaties
- Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf14 okt 2020 → Heden - Software Languages Lab (Onderzoeksgroep)
Lid
Vanaf1 okt 2020 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf15 okt 2023 → Heden - Gedistribueerde en Veilige Software (DistriNet) (Afdeling)
Lid
Vanaf24 sep 2021 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2020 → 30 sep 2023 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2020 → 20 okt 2022 - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf17 aug 2018 → 15 sep 2020
Publicaties
1 - 3 van 3
- Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts(2023)Series: CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
Auteurs: Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
Pagina's: 2083–2097Aantal pagina's: 15 - Verified symbolic execution with Kripke specification monads (and no meta-programming)(2022)
Auteurs: Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese
- 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