Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

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

Pubblicazioni

CHERI-TrEE: Flexible enclaves on capability machines (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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

Type Inference Logics (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0