| Title: | The Secrets Must Not Flow: Scaling Security Verification to Large Codebases |
|---|---|
| Links: | Document as PDF |
| Authors: | Linard Arquint |
| Samarth Kishor | |
| Jason R. Koenig | |
| Joey Dodds Dodds | |
| Daniel Kroening EMail | |
| Peter Müller | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{akkdkm2026,
AUTHOR = { Arquint, Linard
and Kishor, Samarth
and Koenig, Jason R.
and Dodds, Joey Dodds
and Kroening, Daniel
and M\"uller, Peter },
TITLE = { The Secrets Must Not Flow: Scaling Security Verification to Large Codebases },
BOOKTITLE = { Symposium on Security and Privacy },
YEAR = { 2026 },
PUBLISHER = { IEEE },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.