CHERIoT 1.0 tark- ja riistvaraplatvorm, et suurendada C keele koodi turvalisust.
Esitatud on CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things) tark- ja riistvaraplatvormi lĂ”plik spetsifikatsioon, mis mÀÀratleb kĂ€sukogumi (ISA) laienduse turvaliste seadmete loomiseks. CHERIoT pakub riistvaralist tuge mĂ€lu juurdepÀÀsu jĂ€lgimiseks, osutite töö korrektsuse kontrollimiseks ja koodiblokkide isoleerimise tagamiseks. Samuti on avaldatud CHERIoT ISA viite formaalse mudeli stabiilne versioon, mÀÀratletud […]
