Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Steven Keuchel 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)141 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
Bestand36 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 Access8 Citaten (Scopus) -
Uninitialized Capabilities
Huyghebaert, S., Strydonck, T. V., Keuchel, S. & Devriese, D., 2 jun. 2020, 8 blz.Onderzoeksoutput: Other report
Open AccessBestand26 Downloads (Pure) -
Modular, Fully-abstract Compilation by Approximate Back-translation
Devriese, D., Patrignani, M., Piessens, F. & Keuchel, S., 29 mrt. 2017, In: Logical Methods in Computer Science. 13, 4, 38 blz.Onderzoeksoutput: Article › peer review
16 Citaten (Scopus)
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
-
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
-
Katamaran: semi-automated verification of ISA specifications
Steven Keuchel (Speaker), Dominique Devriese (Contributor) & Georgy Lukyanov (Contributor)
16 jun. 2020Activiteit: Talk or presentation at a workshop/seminar
Bestand -
Research Visit on Capability Machine Reasoning
Dominique Devriese (Participant), Steven Keuchel (Participant), Thomas Van Strydonck (Participant) & Lars Birkedal (Organiser)
26 nov. 2019 → 28 nov. 2019Activiteit: Other