Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Publications

CHERI-TrEE: Flexible enclaves on capability machines (s’ouvre dans une nouvelle fenêtre)

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

Goose: an OCaml environment for quantum computing

Auteurs: Carnier, Denis; Correnson, Arthur; McNally, Christopher; Moawad, Youssef
Publié dans: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, 2023
Éditeur: HAL - Open Science

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts (s’ouvre dans une nouvelle fenêtre)

Auteurs: Sander Huyghebaert; Steven Keuchel; Coen De Roover; Dominique Devriese
Publié dans: ACM Conference on Computer and Communications Security (CCS), 2023
Éditeur: ACM
DOI: 10.48550/arxiv.2306.05128

Type Inference Logics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Denis Carnier, François Pottier, Steven Keuchel
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689786

Journal of the ACM (s’ouvre dans une nouvelle fenêtre)

Auteurs: Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Dominique Devriese; Lars Birkedal
Publié dans: Journal of the ACM, Numéro 1, 2024, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3623510

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0