collaborators

1 paper

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…