HeatSync Labs: OWASP Phoenix Chapter Meeting – seL4 – The Ultimate Secure Microkernel

OWASP is a non-profit dedicated to secure applications. This is a free meeting of the Phoenix chapter. More information here: https://owasp.org/www-chapter-phoenix/

Open Worldwide Application Security Project

This is a presentation on the seL4 microkernel, which is used in projects that absolutely require the most robust security at its core, as a monolithic kernel like Linux is not the right choice in these situations. Join us as we briefly touch on microkernels, the history of the L4 family of microkernels, and why seL4 stands out from the rest.