The Australian open source seL4 microkernel project is set to expand its global reach after receiving support from the Linux Foundation. As the world’s first microkernel to be proven secure ...
A new and allegedly super secure microkernel was made open source today, a move that could have serious security implications across a number sensitive and increasingly connected fields. General ...
The University of NSW’s Trustworthy Systems research group has announced a collaboration with UAE-based Secure Systems Research Center (SSRC) to adopt its seL4 secure microkernel technology. The ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results