CHERIoT 1.0 riist- ja tarkvaraplatvorm C-koodi turvalisuse parandamiseks
Avaldatud on CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things) riist- ja tarkvaraplatvormi spetsifikatsiooni lõplik versioon. See määratleb turvaliste seadmete loomiseks käsustiku laienduse (ISA). CHERIoT pakub riistvaralisi võimalusi mälupöörduse jälgimiseks, pointeri korrektse käitlemise kontrollimiseks ja koodiploki isoleerimise tagamiseks. CHERIoT ISA viiteformaalse mudeli stabiilne versioon, mis on defineeritud […]
