YHacker Newsscreenshots

lightbluetouchpaper.org on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of lightbluetouchpaper.org: Formal CHERI: design-time proof of full-scale architecture security properties (2022)

Formal CHERI: design-time proof of full-scale architecture security properties (2022)(lightbluetouchpaper.org)

106 points by fanf2 2 years ago | 34 comments