A 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.
Doesn'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.
2 comments
[ 7.8 ms ] story [ 53.1 ms ] thread