Artifact for "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases" (S&P '26)
static-analysis implementation tamarin separation-logic protocol-verification symbolic-security automated-verification gobra
-
Updated
Oct 17, 2025 - Go