[seL4] US Army SBIR calls for open HW/SW stack

grarpamp grarpamp at gmail.com
Mon Nov 25 22:44:13 PST 2019


> https://www.sbir.gov/sbirsearch/detail/1508741

>   OBJECTIVE: Current commodity computer hardware and software are
>   proprietary. A thorough security review cannot be performed on
>   systems with undisclosed components. Offeror shall research high
>   assurance computer security based on a completely open hardware and
>   software platform following Saltzer and Schroeder’s open design
>   principles from 1975.

https://en.wikipedia.org/wiki/Evaluation_Assurance_Level
http://web.mit.edu/Saltzer/www/publications/protection/
https://www.cs.virginia.edu/~evans/cs551/saltzer/

#OpenFabs , #OpenHW , #OpenSW , #OpenAudit

Now who said there was no demand for that
and that it would be an unprofitable venture.
You should have been working on it to get
the drop on first dibs in the market... now
you've got to compete with the $Big guys.

You can still go for EAL7 and EAL8+ :)


More information about the cypherpunks mailing list