2026年8月2日 Cコードを全面的に rewrite しなくても、キャパビリティハードウェア上で動作させられる CHERIのハイブリッドABIを使えば、Cコードを段階的にキャパビリティハードウェアへ移植できる。コンパイル方法、どこが壊れるか、そして codebase 全体を rewrite せずに修正する方法を解説する。 hardware-assisted-safetychericporting
2026年8月1日 ケイパビリティ・ハードウェアは失敗しなかった。40年早すぎただけだ。 1970年代から、ハードウェアレベルでのメモリ安全性は可能だった。なぜケイパビリティ・アーキテクチャがフラット・メモリ・モデルに敗れ続けたのか、そしてなぜCHERIがついに状況を変えているのか。 hardware-assisted-safetycapability-hardwarecherisoftware-history
2026年7月29日 バッファオーバーフローが頻発するのは、我々がソフトウェアで対処しているからだ CHERIは、すべてのポインタを境界付きcapabilityに変換するハードウェア拡張である。CPUレベルでバッファオーバーフローを阻止する仕組み、コスト、および実機での試用方法を解説する。 hardware-assisted-safetybuffer-overflowmemory-safetycheri
