@misc{Sison_26:ssai, author = {Rob Sison}, location = {Berlin, Germany}, month = jul, note = {Talk at the {Foresight} {Institute}'s Secure \& Sovereign {AI} Workshop}, title = {Introduction to {seL4}}, url = {https://foresight.org/events/2026-secure-sovereign-ai-workshop/}, video = {https://youtu.be/3g5Opa6nY3s}, year = {2026} }