Zobrazeno 1 - 10
of 109
pro vyhledávání: '"physical memory protection"'
Autor:
Cheang, Kevin, Rasmussen, Cameron, Lee, Dayeol, Kohlbrenner, David W., Asanović, Krste, Seshia, Sanjit A.
We formally verify an open-source hardware implementation of physical memory protection (PMP) in RISC-V, which is a standard feature used for memory isolation in security critical systems such as the Keystone trusted execution environment. PMP provid
Externí odkaz:
http://arxiv.org/abs/2211.02179
Publikováno v:
2022 IEEE 15th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b64214a1f07ed5dd35705d7f7c2d87e0
https://doi.org/10.1109/mcsoc57363.2022.00066
https://doi.org/10.1109/mcsoc57363.2022.00066
Autor:
Nicolas Gerlin, Endri Kaja, Monideep Bora, Keerthikumara Devarajegowda, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker
Publikováno v:
2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48733ea8be627e2e098a4d1f58355de4
https://doi.org/10.1109/vlsi-soc54400.2022.9939622
https://doi.org/10.1109/vlsi-soc54400.2022.9939622
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Computers & Security March 2025 150
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Electronics; Volume 11; Issue 16; Pages: 2631
A KVM (Kernel-based Virtual Machine) is subject to the complexity of the Linux kernel and the difficulty and cost of safety certification; thus, it is not popularized in embedded high-reliability scenarios. This paper proposes a KVM-based Heterogeneo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e3a470a4a869ab82ffc7d2382fdcee0
https://doi.org/10.3390/electronics11162631
https://doi.org/10.3390/electronics11162631
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.