Plataforma de software e hardware CHERIoT 1.0 para aumentar a segurança do código escrito em C
Foi apresentada a versão final da especificação da plataforma programático-hardware CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), que define a extensão do conjunto de instruções (ISA) para a criação de dispositivos seguros. O CHERIoT oferece capacidades de hardware para rastreamento de acesso à memória, verificação da correção no trabalho com ponteiros e garantia de isolamento de blocos de código. Simultaneamente, foi publicado o release estável do modelo formal de referência CHERIoT ISA, definido por […]
