5 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…
Containers são exagerados para isolar uma única biblioteca C. Compile-a para WebAssembly e execute-a dentro de um sandbox WASI para memory safety, acesso ao filesystem baseado em capabilities e contenção de crashes sem Docker.
Um único null pointer dereference dentro de uma biblioteca em C pode derrubar toda a sua aplicação. Se essa biblioteca faz parse de input do usuário,…
ARM Memory Tagging Extension e GWP-ASan tornam possível a detecção de segurança de memória em produção em dispositivos móveis modernos. Veja como funcionam e quais são as compensações.
Seu celular pode detectar corrupção de memória em produção. Não com a instrumentação completa que você executa em CI, e não em cada alocação. Mas o hardware no…
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…