icompucare

Why Munich should stick with Linux

Even Accenture, the Microsoft partner, which suggested Munich return to Windows, doesn’t consider Windows as the sole best option. Read More

Unhackable OS? CertiKOS enables creation of secure system kernels

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