Aktuelle Berichte, Erklärungen und verbundene Technologiethemen.
David Chisnall erläutert, wie die CHERI-Architektur Hardwarefähigkeiten nutzt, um Zeiger zu schützen sowie Speichergrenzen und Berechtigungen durchzusetzen. Dadurch bietet sie räumliche und zeitliche Sicherheit für in C und C++ geschriebene Software, ohne umfangreiche Neuentwicklungen zu erfordern. Die Präsentation verknüpft diesen Mechanismus mit der Möglichkeit, eine präzise Isolation zwischen Systemkomponenten aufzubauen und Datenstrukturen direkt gemeinsam zu nutzen, anstatt sich vollständig auf herkömmliche RPC-Mechanismen zu stützen.
Google zufolge hat die Einführung von Rust in Android die Dichte von Speicherfehler-Sicherheitslücken im Vergleich zu C- und C++-Code um mehr als das 1.000-Fache gesenkt. Gleichzeitig weisen Rust-Änderungen niedrigere Rücknahmequoten auf und benötigen weniger Zeit für die Codeprüfung. Die Analyse beleuchtet die Ausweitung von Rust auf den Kernel, Firmware und Google-Anwendungen sowie die Lehren aus einer Sicherheitslücke, die beinahe eine öffentliche Veröffentlichung erreicht hätte.