4 ms·
SeL4 Research Group Dismantled
- GianFabien 5y agoA trustworthy computing base (TCB) is critical to building secure operating environments. With the lack of funding for ongoing seL4 developments we have lost a critical component for increasing the security of computing systems.
- jbirer 5y agoDoesn't seem very smart especially with the threat of China's security attacks around the corner, with the emerge of AI and IoT we need security more than ever.