Salim Belkhir
Salim Belkhir is a Backend and SRE Engineer building high-availability blockchain platforms.
He writes and maintains core Scala infrastructure code and drives the operations for 400+ production nodes and data-service deployments.
His engineering focus centers on the intersection of type safety and systems automation, like custom blockchain nodes, and recently designing capability-typed sandboxes to enforce secure information flows for autonomous desktop and deployment AI agents.
Sessions
AI on your desktop: secure automation using capture checking
Lightning Talk
13. October 2026, 12:20 - 12:25
Kesselhaus
Local AI assistants like OpenClaw run with shell, browser, and credentials. Open chats make prompt injection a massive leak risk. Docker fails; approvals kill UX. TACIT opened the way: capture checking makes leaking information flows uncompilable.
In this talk, we will demo assistant security on browser automations against exploits.