Mandloi, A. Risk-Bounded Authorization and Runtime Verification for AI Agents Executing Sensitive Financial Operations. ESISCS 2025, 3, 237-243.