Tracked Capabilities for Safer Agents

Tracked Capabilities for Safer Agents(martinodersky.substack.com)

2 points by odersky 39 days ago | 1 comment

odersky 39 days ago |

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).

odersky 39 days ago |

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).