Future is bright with seL4 kernel

August 28th, 2009 No comments

If  security is your most important concern for your computation, seL4 kernel will solve all future problems. This is the first time that an operating system has passed rugged security tests. The research also found that many kinds of common attacks will not work on the seL4 kernel. For example, the microkernel is impervious to buffer overflows, a common form of software attack where hackers take control of programs by injecting malicious code. Products based on seL4 are expected to be available in the market in 2011. Read more…

Categories: Linux Tags: ,