Plataforma de hardware y software CHERIoT 1.0 para aumentar la seguridad del código en C
Se ha presentado la versión final de la especificación de la plataforma de hardware y software CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), que define la extensión del conjunto de instrucciones (ISA) para la creación de dispositivos seguros. CHERIoT ofrece capacidades de hardware para rastrear el acceso a la memoria, verificar la corrección del manejo de punteros y garantizar la aislamiento de bloques de código. Al mismo tiempo, se ha publicado un lanzamiento estable del modelo formal de referencia CHERIoT ISA, definido […]
