2 papers
cs.AI2026
Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI
David A. Naumann
Many high-level security requirements are about the allowed flow of information in programs and are difficult to make precise because they involve selective downgrading. Notions fr…
cs.LO2025
Alignment complete relational Hoare logics for some and all
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
In relational verification, judicious alignment of computational steps facilitates proof of relations between programs using simple relational assertions. Relational Hoare logics (…