My @wasm_io talk in Barcelona is now online. It shows WASM in OT environments and how a "capabilities all the way down" systems design enables resilient and scalable industrial infrastructure. Witnessing how WASM is gaining massive momentum at all SW stacks is very exciting.

@wasm_io was a blast! So many interesting people with exciting projects that shape the future of computing. My deepest thanks to @sergialmar for putting together such a fine conference and @ralph_squillace for the bubbles and a wonderful evening! #wasmio24

Capabilities all the way down: In my talk at #wasmio24 I present our strategy for building resilient systems where safety, security, and privacy matter. 2024.wasmio.tech/sessions/ca…

My seL4 Summit talk from Minneapolis is now online. Topics: - mass IIoT deployments with TPM-backed credentials - declarative desired-state management with @Azure - @realwasmedge on @gapfruit OS - self-healing Linux device drivers on microkernels. youtube.com/watch?v=Kp-PsRZb…

About to fly to Seattle for WasmCon. Hit me up if you want to talk about WASM/WASI, capability-based security, OS design, the future of computing, or if you just want to grab a beer. events.linuxfoundation.org/w… #iot #capability #security #wasmcon #wasmedge #gapfruit #wasm #wasi

This Thursday, Oct. 13th, Stefan Thöni and I will talk at the tpm.dev conference about capability-based security and how we utilize TPMs to guarantee the freshness of the disk integrity feature on @gapfruit OS. developers.tpm.dev/events/tp… #gapfruit #microkernel #os

Proud of my teammate Stefan Thöni @paratexception to bring capability-based security via seccomp to Linux. In collaboration with @genodelabs and @gapfruit. #capabilities #security #seccomp #genode #gapfruit #linux