2 papers
cs.AI2026
Autoformalization of Agent Instructions into Policy-as-Code
Adam Mondl, Matthew Maisel, John H. Brock
Agent safety in high-stakes domains requires formal policy enforcement, but most existing approaches either rely on probabilistic guardrails (fine-tuned classifiers, prompt-based s…
cs.CR2016
A Modest Proposal for Open Market Risk Assessment to Solve the Cyber-Security Problem
Timothy J. O'Shea, Adam Mondl, T. Charles. Clancy
We introduce a model for a market based economic system of cyber-risk valuation to correct fundamental problems of incentives within the information technology and information proc…