Annual Summits
The Trusted Computing CoE™ hosts an annual multi-day Summit. Each Summit provides an opportunity for attendees to take part in presentations by government, industry, and academia experts; interact with discussion panels; and obtain hands-on introductory training for the seL4® microkernel.
2022 Summit
Agenda | Videos | Slides | Chats
2020 Summit
Agenda | Videos | Slides | Chats
2019 Summit
Agenda | Slides
2018 Summit
Agenda | Slides