Research output per year
Research output per year
Fingerprint
Dive into the research topics where Sander Huyghebaert is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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, p. 2083–2097 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile91 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).Research output: Unpublished contribution to conference › Poster
File28 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.Research output: Contribution to journal › Article › peer-review
Open Access5 Citations (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, p. 1-30 30 p., 6.Research output: Contribution to journal › Article › peer-review
Open AccessFile18 Citations (Scopus)152 Downloads (Pure) -
Uninitialized Capabilities
Huyghebaert, S., Strydonck, T. V., Keuchel, S. & Devriese, D., 2 Jun 2020, 8 p.Research output: Book/Report › Other report
Open AccessFile26 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 Oct 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
Activities
- 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 2022Activity: Talk or presentation › 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 2021Activity: Talk or presentation › Talk or presentation at a workshop/seminar