2 papers
cs.AI2026
Despite Instructions: Frontier Agents Improvise Covert Channels at Test Time
Jacob Dineen, Silei Ren, Muhao Chen +2
In security-sensitive applications, language-model agents are often required to coordinate without disclosing confidential information. Yet repeated interactions may also let ordin…
cs.PL2025
An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
Silei Ren, Coşku Acay, Andrew C. Myers
Language-based information flow control (IFC) enables reasoning about and enforcing security policies in decentralized applications. While information flow properties are relativel…