Plateforme hardware-software CHERIoT 1.0 pour améliorer la sécurité du code en langage C.
La version finale de la spécification de la plateforme matérielle et logicielle CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things) a été présentée, définissant l'extension de l'ensemble d'instructions (ISA) pour la création de dispositifs sécurisés. CHERIoT fournit des capacités matérielles pour suivre l'accès à la mémoire, vérifier la précision des opérations sur les pointeurs et assurer l'isolation des blocs de code. En même temps, la version stable du modèle formel de référence CHERIoT ISA a été publiée, défini […]
