Information-flow control: Moving towards secure, autonomous agents
A deterministic security system, information-flow control (IFC) offers a promising path towards secure and autonomous agents. When agents can take high-stakes actions like sending an email, sharing a business document, or opening a pull request,…