L lightbluetouchpaper.org Formal CHERI: design-time proof of full-scale architecture security properties (2022) 109 points fanf2 2 years ago 47 comments
