Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Veröffentlichungen

CHERI-TrEE: Flexible enclaves on capability machines (öffnet in neuem Fenster)

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

Goose: an OCaml environment for quantum computing

Autoren: Carnier, Denis; Correnson, Arthur; McNally, Christopher; Moawad, Youssef
Veröffentlicht in: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, 2023
Herausgeber: HAL - Open Science

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts (öffnet in neuem Fenster)

Autoren: Sander Huyghebaert; Steven Keuchel; Coen De Roover; Dominique Devriese
Veröffentlicht in: ACM Conference on Computer and Communications Security (CCS), 2023
Herausgeber: ACM
DOI: 10.48550/arxiv.2306.05128

Type Inference Logics (öffnet in neuem Fenster)

Autoren: Denis Carnier, François Pottier, Steven Keuchel
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3689786

Journal of the ACM (öffnet in neuem Fenster)

Autoren: Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Dominique Devriese; Lars Birkedal
Veröffentlicht in: Journal of the ACM, Ausgabe 1, 2024, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3623510

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0