James C. Davis

A longitudinal study of five identity-based signing ecosystems found that while these tools reduce some key management burdens, they consistently shift complexity to verification workflows, policy configuration, and integration boundaries.

AutoSOUP is a system that automates component-level memory-safety verification by generating Safety-Oriented Unit Proofs, leveraging a hybrid LLM-based architecture to overcome manual workflow limitations.

This paper presents a case study on using AI coding agents in software engineering and develops a process model for governing high-velocity agentic implementation.