hardware-assisted-safety

5 articles

2 août 2026

Votre code C peut s'exécuter sur du matériel à capacités sans rewrite complet

L'ABI hybride de CHERI vous permet de porter du code C vers du matériel à capacités de manière incrémentale. Voici comment compiler, ce qui casse, et comment réparer sans rewrite l'intégralité de votre codebase.

hardware-assisted-safety cheri c porting

1 août 2026

Le hardware de capabilities n'a pas échoué. Il est arrivé 40 ans trop tôt.

La sécurité mémoire au niveau matériel était possible dès les années 1970. Voici pourquoi les architectures de capabilities ont sans cesse perdu face aux modèles de mémoire plate, et pourquoi CHERI change enfin la donne.

hardware-assisted-safety capability-hardware cheri software-history

31 juil. 2026

Votre dépendance C peut faire planter l'intégralité de votre processus. WebAssembly peut l'empêcher.

Les conteneurs sont disproportionnés pour isoler une seule bibliothèque C. Compilez-la en WebAssembly et exécutez-la dans un sandbox WASI pour la memory safety, l'accès au filesystem par capabilities et le confinement des crashes sans Docker.

hardware-assisted-safety sandboxing c webassembly

30 juil. 2026

Votre téléphone dispose déjà d'un matériel qui détecte la corruption de la mémoire

ARM Memory Tagging Extension et GWP-ASan rendent possible la détection de la sécurité mémoire en production sur les appareils mobiles modernes. Voici comment ils fonctionnent et à quoi ressemblent les compromis.

hardware-assisted-safety memory-corruption mobile asan

29 juil. 2026

Les Buffer Overflows Continuent d'Arriver Parce Que Nous Les Corrigeons dans le Logiciel

CHERI est une extension matérielle qui transforme chaque pointer en une bounded capability. Voici comment elle arrête les buffer overflows au niveau du CPU, ce que cela coûte et comment l'essayer sur du matériel réel.

hardware-assisted-safety buffer-overflow memory-safety cheri