provable-security

This paper proposes a new security paradigm for AI agents using a Proof-Constrained Action (ePCA) framework with neural symbolic isolation, achieving zero attack success rate in empirical evaluations.