Programově-hardware platforma CHERIoT 1.0 pro zvýšení bezpečnosti kódu v jazyce C
Byla představena finální verze specifikace softwarově-hardwareové platformy CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), která určuje rozšíření sady instrukcí (ISA) pro vytváření zabezpečených zařízení. CHERIoT poskytuje hardwarové možnosti pro sledování přístupu k paměti, kontrolu správnosti práce s ukazateli a zajištění izolace bloků kódu. Současně byla publikována stabilní verze referenční formální modelu CHERIoT ISA, určené […]
