Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Sander Huyghebaert actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Huyghebaert, S., Keuchel, S., De Roover, C. & Devriese, D., 21 nov. 2023, CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. ACM, blz. 2083–2097 15 blz. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).Onderzoeksoutput: Conference paper
Open AccessBestand1 Citaat (Scopus)201 Downloads (Pure) -
Semi-automatic Verification of ISA Security Guarantees in the Form of Universal Contracts
Huyghebaert, S., Keuchel, S., Devriese, D. & De Roover, C., 2022, (Unpublished).Onderzoeksoutput: Poster
Bestand35 Downloads (Pure) -
Verified symbolic execution with Kripke specification monads (and no meta-programming)
Keuchel, S., Huyghebaert, S., Lukyanov, G. & Devriese, D., 29 aug. 2022, In: Proceedings of the ACM on Programming Languages. 6, ICFP, 31 blz., 97.Onderzoeksoutput: Article › peer review
Open Access12 Citaten (Scopus) -
Efficient and provable local capability revocation using uninitialized capabilities
Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Huyghebaert, S., Devriese, D. & Birkedal, L., 4 jan. 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, blz. 1-30 30 blz., 6.Onderzoeksoutput: Article › peer review
Open AccessBestand24 Citaten (Scopus)160 Downloads (Pure) -
Uninitialized Capabilities
Huyghebaert, S., Strydonck, T. V., Keuchel, S. & Devriese, D., 2 jun. 2020, 8 blz.Onderzoeksoutput: Other report
Open AccessBestand26 Downloads (Pure)
Datasets
-
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Huyghebaert, S. (Creator), Keuchel, S. (Creator), De Roover, C. (Creator) & Devriese, D. (Creator), Zenodo, 25 okt. 2023
Dataset
-
Verified symbolic execution with Kripke specification monads (and no meta-programming) - Artifact
Keuchel, S. (Creator), Huyghebaert, S. (Creator), Lukyanov, G. (Creator) & Devriese, D. (Creator), Zenodo, 22 jul. 2022
Dataset
Activiteiten
- 2 Talk or presentation at a workshop/seminar
-
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Huyghebaert, S. (Speaker), Keuchel, S. (Contributor), De Roover, C. (Contributor) & Devriese, D. (Contributor)
12 dec. 2022Activiteit: Talk or presentation at a workshop/seminar
-
Semi-automatic verification of ISA security guarantees in the form of universal contracts
Huyghebaert, S. (Speaker), Keuchel, S. (Contributor) & Devriese, D. (Contributor)
6 sep. 2021Activiteit: Talk or presentation at a workshop/seminar