Computer system security stinks, because our software is buggy and untestable in full. Great for cyber criminals, but not for us. So why doesn't someone build a mathematically verified, secure, concurrent kernel that can run on x86 and ARM? A team at Yale has.
source Latest blogs for ZDNet http://ift.tt/2kmnm6d
No comments:
Post a Comment