Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

Projektinformationen

UniversalContracts

ID Finanzhilfevereinbarung: 101040088

DOI

10.3030/101040088

EK-Unterschriftsdatum 1 April 2022

Startdatum 1 September 2022

Enddatum 31 August 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 500 000,00

EU-Beitrag

€ 1 500 000,00

Koordiniert durch

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (1)

Data Management Plan

Veröffentlichungen

Conference proceedings (3)

CHERI-TrEE: Flexible enclaves on capability machines

Autoren: Van Strydonck, Thomas; Noorman, Job; Jackson, Jennifer; Alves Dias, Leonardo; Vanderstraeten, Robin; Oswald, David; Piessens, Frank; Devriese, Dominique
Veröffentlicht in: IEEE European Symposium on Security and Privacy (EuroS&P), 2023
Herausgeber: IEEE
DOI: 10.1109/eurosp57164.2023.00070

Goose: an OCaml environment for quantum computing

Autoren: Carnier, Denis; Correnson, Arthur; McNally, Christopher; Moawad, Youssef
Veröffentlicht in: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, 2023
Herausgeber: HAL - Open Science

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

Autoren: Sander Huyghebaert; Steven Keuchel; Coen De Roover; Dominique Devriese
Veröffentlicht in: ACM Conference on Computer and Communications Security (CCS), 2023
Herausgeber: ACM
DOI: 10.48550/arxiv.2306.05128

Peer reviewed articles (2)

Type Inference Logics

Autoren: Denis Carnier, François Pottier, Steven Keuchel
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3689786

Journal of the ACM

Autoren: Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Dominique Devriese; Lars Birkedal
Veröffentlicht in: Journal of the ACM, Ausgabe 1, 2024, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3623510