Suivez les dernières actualités, explications et histoires technologiques associées.
David Chisnall explique comment l’architecture CHERI utilise des capacités matérielles pour protéger les pointeurs et imposer des limites et des permissions mémoire, offrant ainsi une sécurité spatiale et temporelle aux logiciels écrits en C et en C++ sans réécriture majeure. La présentation relie ce mécanisme à la possibilité de construire un cloisonnement précis entre les composants du système, avec un partage direct des structures de données plutôt qu’une dépendance totale aux mécanismes RPC traditionnels.