Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Publicaciones

CHERI-TrEE: Flexible enclaves on capability machines (se abrirá en una nueva ventana)

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

Goose: an OCaml environment for quantum computing

Autores: Carnier, Denis; Correnson, Arthur; McNally, Christopher; Moawad, Youssef
Publicado en: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, 2023
Editor: HAL - Open Science

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts (se abrirá en una nueva ventana)

Autores: Sander Huyghebaert; Steven Keuchel; Coen De Roover; Dominique Devriese
Publicado en: ACM Conference on Computer and Communications Security (CCS), 2023
Editor: ACM
DOI: 10.48550/arxiv.2306.05128

Type Inference Logics (se abrirá en una nueva ventana)

Autores: Denis Carnier, François Pottier, Steven Keuchel
Publicado en: Proceedings of the ACM on Programming Languages, Edición 8, 2024, ISSN 2475-1421
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3689786

Journal of the ACM (se abrirá en una nueva ventana)

Autores: Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Dominique Devriese; Lars Birkedal
Publicado en: Journal of the ACM, Edición 1, 2024, ISSN 0004-5411
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3623510

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0