Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

Sander Huyghebaert (Creator)
Steven Keuchel (Creator)
Coen De Roover (Creator)
Dominique Devriese (Creator)

Dataset

Abstract

This artifact accompanies our paper submitted to CCS2023, titled: Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.

Datum van beschikbaarheid	25 okt. 2023
Uitgever	Zenodo
Datum van data-aanmaak	25 okt. 2023

Format

Format

DOI
10.5281/zenodo.10588191

1 Actief

VLAAI2: Cybersecurity Onderzoeksprogramma Vlaanderen – tweede cyclus
De Meuter, W., Braeken, A., Devriese, D., Gonzalez Boix, E. & De Roover, C.
1/01/24 → 31/12/28
Project: Toegepast

1 Conference paper

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 Access
Bestand
1 Citaat (Scopus)

144 Downloads (Pure)

Citeer dit