Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

Informazioni relative al progetto

UniversalContracts

ID dell’accordo di sovvenzione: 101040088

DOI

10.3030/101040088

Data della firma CE 1 Aprile 2022

Data di avvio 1 Settembre 2022

Data di completamento 31 Agosto 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 500 000,00

Contributo UE

€ 1 500 000,00

Coordinato da

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (1)

Data Management Plan

Pubblicazioni

Conference proceedings (3)

CHERI-TrEE: Flexible enclaves on capability machines

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

Goose: an OCaml environment for quantum computing

Autori: Carnier, Denis; Correnson, Arthur; McNally, Christopher; Moawad, Youssef
Pubblicato in: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, 2023
Editore: HAL - Open Science

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

Autori: Sander Huyghebaert; Steven Keuchel; Coen De Roover; Dominique Devriese
Pubblicato in: ACM Conference on Computer and Communications Security (CCS), 2023
Editore: ACM
DOI: 10.48550/arxiv.2306.05128

Peer reviewed articles (2)

Type Inference Logics

Autori: Denis Carnier, François Pottier, Steven Keuchel
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2024, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3689786

Journal of the ACM

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