5 posts
ABI hibrida CHERI memungkinkan Anda mem-porting kode C ke perangkat keras capability secara bertahap. Berikut cara mengompilasinya, apa yang rusak, dan cara memperbaikinya tanpa rewrite seluruh codebase Anda.
Anda memiliki codebase C yang terlalu besar untuk rewrite dalam Rust dan terlalu kritis untuk dibiarkan rentan terhadap buffer overflow. Perangkat keras…
Keamanan memori di tingkat hardware telah mungkin sejak tahun 1970-an. Berikut mengapa arsitektur capability terus kalah dari model memori datar, dan mengapa CHERI akhirnya mengubah persamaan tersebut.
Tujuh puluh persen CVE adalah bug memory safety. Buffer overflow, use-after-free, double free. Jenis kerentanan yang memungkinkan penyerang berpindah dari JPEG…
Container terlalu berlebihan untuk mengisolasi satu library C. Kompilasi ke WebAssembly dan jalankan di dalam sandbox WASI untuk memory safety, akses filesystem berbasis capability, dan containment crash tanpa Docker.
Satu null pointer dereference di dalam library C bisa membuat seluruh aplikasi Anda crash. Jika library tersebut mem-parse input pengguna, melakukan dekompresi…
ARM Memory Tagging Extension dan GWP-ASan memungkinkan deteksi keamanan memori di produksi pada perangkat mobile modern. Berikut cara kerjanya dan seperti apa pertukarannya.
Ponsel Anda dapat mendeteksi korupsi memori di produksi. Tidak dengan instrumentasi penuh yang Anda jalankan di CI, dan tidak pada setiap alokasi. Namun…
CHERI adalah ekstensi hardware yang mengubah setiap pointer menjadi bounded capability. Berikut cara ia menghentikan buffer overflow di level CPU, biayanya, dan cara mencobanya di hardware nyata.
Buffer overflow sudah berada di CWE Top 25 selama dua puluh tahun. Kita punya stack canary, ASLR, DEP, control-flow integrity, dan bahasa memory-safe, namun…