Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
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 AccessBestand95 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
Bestand28 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, 3547628.Onderzoeksoutput: Article › peer review
Open Access5 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 AccessBestand18 Citaten (Scopus)153 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
DOI: https://doi.org/10.5281/zenodo.6865817
Dataset
Activiteiten
- 2 Talk or presentation at a workshop/seminar
-
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Sander Huyghebaert (Speaker), Steven Keuchel (Contributor), Coen De Roover (Contributor) & Dominique Devriese (Contributor)
12 dec 2022Activiteit: Talk or presentation at a workshop/seminar
-
Semi-automatic verification of ISA security guarantees in the form of universal contracts
Sander Huyghebaert (Speaker), Steven Keuchel (Contributor) & Dominique Devriese (Contributor)
6 sep 2021Activiteit: Talk or presentation at a workshop/seminar