2 papers
cs.SE2026
Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia
Lea Salome Brugger, Xavier Denis, Peter Müller
Deductive verification is an effective method to ensure that a given system exposes the intended behavior. In spite of its proven usefulness and feasibility in selected projects, d…
cs.CR2025
The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
Linard Arquint, Samarth Kishor, Jason R. Koenig +3
Existing program verifiers can prove advanced properties about security protocol implementations, but are difficult to scale to large codebases because of the manual effort require…