3 posts
O ABI híbrido do CHERI permite que você porte código em C para hardware com capabilities de forma incremental. Veja como compilar, o que quebra e como corrigir sem rewrite toda a sua codebase.
Você tem uma codebase em C que é grande demais para ser rewrite em Rust e crítica demais para ser deixada vulnerável a buffer overflows. O hardware com…
A segurança de memória no nível de hardware é possível desde os anos 1970. Aqui está o porquê de as arquiteturas de capabilities terem perdido repetidamente para os modelos de memória plana, e por que o CHERI está finalmente mudando a conta.
Setenta por cento dos CVEs são bugs de memory safety. Buffer overflows, use-after-free, double frees. O tipo de vulnerabilidades que permitem a um atacante…
CHERI é uma extensão de hardware que transforma cada pointer em uma bounded capability. Veja como ela impede buffer overflows no nível da CPU, o que custa e como testá-la em hardware real.
Buffer overflows estão no CWE Top 25 há vinte anos. Temos stack canaries, ASLR, DEP, control-flow integrity e linguagens memory-safe, e ainda assim eles…