3 ms·
I'd like a source on that since I try to collect examples of high-assurance security developed or adopted. Especially adopted as it's so rare.
by nickpsecurity 9y ago
I'd like a source on that since I try to collect examples of high-assurance security developed or adopted. Especially adopted as it's so rare.
- im_down_w_otp 9y agoseL4 so far makes a lot of sense for what we're working on. The hardest part is finding seL4 expertise.
- nickpsecurity 9y agoWhat you need is embedded microkernel expertise with some training in INFOSEC. Look up Nizza Secure-Systems Architecture paper for how to use such architectures well.
- harry8 9y agohttps://cog.systems/about/ https://cog.systems/about/
- eru 9y agoMirageOS is another project to look into. I don't think it's high-assurance by itself, but it attracts the kind of people who are into that sort of thing. (HalVM, too.)
- nickpsecurity 9y agoLike this awesome guy from CompSci: http://anil.recoil.org/projects/ http://anil.recoil.org/projects/
- eru 9y agoAnil is quite the character indeed!