Rufo Guerreschi's Blog
Skip to content
About
My Political & Technological Vision for the Future of Humanity (Jan 15th 2016)
Active Projects
TRUSTLESS.AI
The Trustless Computing Consortium
Open Media Cluster
Free and Safe in Cyberspace event series
Open Media Park
Gallery
Contacts
Blog
←
Qubes sw compartimentalization is a must, but non sufficient
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.
→
There real news of #sel4 is the lost assumptions and exceptions, that clarify how only extreme minimization and fab oversight will allow sufficient control
Posted on
July 31, 2014
by
Rufo 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)
Click to share on Google+ (Opens in new window)
Related
This entry was posted in
work2
. Bookmark the
permalink
.
←
Qubes sw compartimentalization is a must, but non sufficient
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.
→
Search for:
Recent Posts Personal and Work
THANK SILICON VALLEY DOGMAS FOR ICOs
AI, HUMANS AND BLACK BOXES
CYBERSICUREZZA, M5S, AUTONOMIA DELLA LOMBARDIA E PROSSIME ELEZIONI ITALIANE
M5S e cybersicurezza: non si vede ancora alcuna svolta
PERCHÉ ANCHE IN ITALIA IL TEMA DELLA CYBERSECURITY DETERMINERÀ LE PROSSIME ELEZIONI
Follow me on Twitter
Categories
general
personal1
personal2
Uncategorized
work1
work1-IT
work2
Category Specific RSS
general
(105)
personal1
(23)
personal2
(14)
Uncategorized
(2)
work1
(66)
work1-IT
(2)
work2
(121)
