Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

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

Publications

CHERI-TrEE: Flexible enclaves on capability machines (opens in new window)

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 (opens in new window)

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

Type Inference Logics (opens in new window)

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 (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0