Rufo Guerreschi

"Love of True Self and Love of Others Coincide. Love is What We Are"

Skip to content
  • About Me
  • Me on Life
  • Me on the Future
  • Photos
  • Blog (dormant)
  • Contacts & Social

The real news of #sel4 floss release is the list assumptions and exceptions, that clarify how only extreme minimization and chip fabrication oversight can achieve the control we need.

July 31, 2014work2Rufo Guerreschi

http://sel4.systems/FAQ/proof.pml

Share this:

  • Click to share on Twitter (Opens in new window)
  • Click to share on Facebook (Opens in new window)

Like this:

Like Loading...

Post navigation

← There real news of #sel4 is the lost assumptions and exceptions, that clarify how only extreme minimization and fab oversight will allow sufficient control A case for UVST in my “The economics of meaningful assurance of computing services for civilian use” lecture slides →

Leave a Reply Cancel reply

You must be logged in to post a comment.

Proudly powered by WordPress
%d bloggers like this: