2 points | by odersky 4 hours ago ago
1 comments
The blog post describes a new scheme to securing AI agents based on tracking capabilities in types. This got the best paper award at the inaugural ACM Conference on AI and Agentic Systems (CAIS 2026).
The blog post describes a new scheme to securing AI agents based on tracking capabilities in types. This got the best paper award at the inaugural ACM Conference on AI and Agentic Systems (CAIS 2026).