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
-
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
Bestand8 Downloads (Pure) -
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 AccessBestand9 Citaten (Scopus)118 Downloads (Pure) -
Uninitialized Capabilities
Huyghebaert, S., Strydonck, T. V., Keuchel, S. & Devriese, D., 2 jun 2020, 8 blz.Onderzoeksoutput: Other report
Open AccessBestand6 Downloads (Pure)
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