Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

Project Information

UniversalContracts

Grant agreement ID: 101040088

DOI

10.3030/101040088

EC signature date 1 April 2022

Start date 1 September 2022

End date 31 August 2027

Funded under

• European Research Council (ERC)

Total cost

€ 1 500 000,00

EU contribution

€ 1 500 000,00

Coordinated by

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (1)

Data Management Plan

Publications

Conference proceedings (3)

CHERI-TrEE: Flexible enclaves on capability machines

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

Goose: an OCaml environment for quantum computing

Author(s): Carnier, Denis; Correnson, Arthur; McNally, Christopher; Moawad, Youssef
Published in: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, 2023
Publisher: HAL - Open Science

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

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

Peer reviewed articles (2)

Type Inference Logics

Author(s): Denis Carnier, François Pottier, Steven Keuchel
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2024, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3689786

Journal of the ACM

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