Featured Posts
Recent Articles

Unhackable OS? CertiKOS enables creation of secure system kernels -1GOT NEWS

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

Share and Enjoy:

0 comments for this post

Leave a reply

We will keep You Updated...
Sign up to receive breaking news
as well as receive other site updates!
Subscribe via RSS Feed subscribe to feeds
Sponsors
Template By 1got.blogspot.com1got.blogspot.com1got.blogspot.com
Template By 1got.blogspot.com1got.blogspot.com1got.blogspot.com
Popular Posts
Recent Stories
Connect with Facebook
Sponsors
Search
Archives
Categories
Blog Archives
Recent Comments
Tag Cloud