Annual CoE Summits
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.
2020 Summit
Agenda | Videos | Slides | Chat Discussions
2019 Summit
Agenda | Slides
2018 Summit
Agenda | Slides