Free resources, tools, help, and information for CIOs to project managers. You’ll find what you need for a successful university IT project implementation.
Unhackable OS? CertiKOS enables creation of secure system kernels
Posted on Written By
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.
[Read more...]