The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
Fuente:
Zenodo
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Recurso digital |
| Langue: | anglais |
| Publié: |
Zenodo
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866902268610084864 |
|---|---|
| author | Arquint, Linard Kishor, Samarth Koenig, Jason Dodds, Joey Kroening, Daniel Müller, Peter |
| author_facet | Arquint, Linard Kishor, Samarth Koenig, Jason Dodds, Joey Kroening, Daniel Müller, Peter |
| contents | <p>This is the artifact for the paper "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases", which will appear at the IEEE Symposium on Security and Privacy (S&P), 2026. This repository contains the protocol model, the forked SSM Agent's codebase, a DH implementation codebase, and the static analysis tools.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17373873 |
| institution | Zenodo |
| language | eng |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact) Arquint, Linard Kishor, Samarth Koenig, Jason Dodds, Joey Kroening, Daniel Müller, Peter protocol implementation verification symbolic security separation logic automated verification static analysis injective agreement <p>This is the artifact for the paper "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases", which will appear at the IEEE Symposium on Security and Privacy (S&P), 2026. This repository contains the protocol model, the forked SSM Agent's codebase, a DH implementation codebase, and the static analysis tools.</p> |
| title | The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact) |
| topic | protocol implementation verification symbolic security separation logic automated verification static analysis injective agreement |
| url | https://doi.org/10.5281/zenodo.17373873 |