Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Publikacje

CHERI-TrEE: Flexible enclaves on capability machines (odnośnik otworzy się w nowym oknie)

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

Goose: an OCaml environment for quantum computing

Autorzy: Carnier, Denis; Correnson, Arthur; McNally, Christopher; Moawad, Youssef
Opublikowane w: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, 2023
Wydawca: HAL - Open Science

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts (odnośnik otworzy się w nowym oknie)

Autorzy: Sander Huyghebaert; Steven Keuchel; Coen De Roover; Dominique Devriese
Opublikowane w: ACM Conference on Computer and Communications Security (CCS), 2023
Wydawca: ACM
DOI: 10.48550/arxiv.2306.05128

Type Inference Logics (odnośnik otworzy się w nowym oknie)

Autorzy: Denis Carnier, François Pottier, Steven Keuchel
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3689786

Journal of the ACM (odnośnik otworzy się w nowym oknie)

Autorzy: Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Dominique Devriese; Lars Birkedal
Opublikowane w: Journal of the ACM, Numer 1, 2024, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3623510

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0