Plataforma de hardware e software CHERIoT 1.0 para mellorar a seguridade do código C
Publicouse a versión final da especificación da plataforma de hardware e software CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things). Define unha extensión do conxunto de instrucións (ISA) para crear dispositivos seguros. CHERIoT proporciona capacidades de hardware para monitorizar o acceso á memoria, verificar o manexo correcto dos punteiros e garantir o illamento de bloques de código. Unha versión estable do modelo formal de referencia ISA de CHERIoT, definida […]
