seL4 research
Award-winning technology backed by ground-breaking research
seL4 is grounded in research breakthroughs recognised by internationally acclaimed awards and high-caliber publications. Research organisations in the seL4 ecosystem continue to push the boundaries of what seL4 can achieve. Some also provide advanced lectures on Operating Systems and Formal Software Verification.
Key Publications
Key papers and articles about seL4, its design principles, and its applications.
Ongoing Research
Find out the research ongoing on seL4 and associated technologies in the ecosystem.
Courses
Courses about seL4-relevant topics: operating systems, microkernels, formal methods, software verification.