Transaction

jmetaB02de4cb3f2336c1f0926c8fe02b6d7274d21c81872feb64a61ba4986ee49bb5a60@6e310a0579acad2cd4035426f1abe6c508d443dd4241600efb7c245ddb21c7da atom.entrymetarss.netM&<entry> <title type="text">Formal CHERI: design-time proof of full-scale architecture security properties</title> <id>https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/</id> <updated>2024-08-28T11:54:05.180316Z</updated> <link href="https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/"/> <author> <name>fanf2</name> <uri>https://news.ycombinator.com/user?id=fanf2</uri> </author> <content type="html">&lt;img src=&#34;https://www.lightbluetouchpaper.org/wp-content/uploads/2022/07/20220401-Morello-chip-on-board-modest-604x270.jpg&#34; style=&#34;width: 220px; height: 99px;&#34; /&gt;&lt;br /&gt;The CHERI project aims to address memory safety bugs by extending conventional hardware architectures with new features for fine-grained memory protection and scalable software compartmentalization, and has developed a CHERI-enabled prototype architecture, processor, and development board called Morello. The project has also used rigorous engineering methods, including machine-checked ... &lt;a href=&#34;https://hackernews.betacat.io/#formal-cheri-design-time-proof-of-full-scale-architecture-security-properties&#34; target=&#34;_blank&#34;&gt;[summary]&lt;/a&gt; &lt;a href=&#34;https://news.ycombinator.com/item?id=41378428&#34; target=&#34;_blank&#34;&gt;[comments]&lt;/a&gt;</content> </entry>