Formal CHERI: design-time proof of full-scale architecture security properties (2022) (lightbluetouchpaper.org)109 points47 comments1 month agoby fanf2
Formal CHERI: design-time proof of full-scale architecture security properties (2022) (lightbluetouchpaper.org)109 points47 comments1 month agoby fanf2