3 ms·
Who would be trusted to design and procure the hardware for such a device?
by andrei_says_ 6y ago
Who would be trusted to design and procure the hardware for such a device?
- adamsea 6y agoGood question :). Maybe layers? For government agencies, the government could manage procurement. For non-government organizations, realistically, maybe some sort of public-private/foundation partnership, if the NSA is willing to bend a little. Which at this point might be in their best interest.
- alquemist 6y agohttps://leanprover.github.io https://leanprover.github.io While it is difficult to design a secure procurement chain all the way to the SiO2, we could at least design simple enough hw/sw systems for which formal verification is an economical option. And then force government entities to use formally verified systems instead of the bug ridden crap most shops, especially the sw ones, have to ship under intense deadline pressure. The market has led us into a broken local optima, no way to get out short of state level action.
- vineyardmike 6y ago> force government entities to use formally verified systems instead of the [current commercial options] When do we complain about the even more expensive defense budget in this story?
- angled 6y agoIt's been done for the OS (vis a vis seL4[0]), why not take a similar approach for the hardware? CSIRO[1] would happily take the funding! [0] https://github.com/NICTA/seL4 https://github.com/NICTA/seL4 [1] https://ts.data61.csiro.au/ https://ts.data61.csiro.au/