Platforma sprzętowo-programowa CHERIoT 1.0 dla zwiększenia bezpieczeństwa kodu w języku C
Zaprezentowana została ostateczna wersja specyfikacji platformy sprzętowo-programowej CHERIoT 1.0 (Capability Hardware Extension do RISC-V dla Internetu Rzeczy), która określa rozszerzenie zestawu instrukcji (ISA) do tworzenia zabezpieczonych urządzeń. CHERIoT zapewnia możliwości sprzętowe do monitorowania dostępu do pamięci, weryfikacji poprawności pracy z wskaźnikami oraz zapewnienia izolacji bloków kodu. Jednocześnie opublikowano stabilne wydanie formalnego modelu referencyjnego CHERIoT ISA, określonego […]
