The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version). - Linard Arquint; Samarth Kishor; Jason R. Koenig; Joey Dodds; Daniel Kroening; Peter Müller 001 (CoRR, 2025)