Scala Days 2026

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.


Company/Organisation:

Ledger

Job Position:

SRE & Scala Developer


Session

10-13
12:20
5min
AI on your desktop: secure automation using capture checking
Salim Belkhir

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.

Kesselhaus