目次: :: Library Catalog

表紙画像

保存先:

書誌詳細
主要な著者:	Arquint, Linard, Kishor, Samarth, Koenig, Jason, Dodds, Joey, Kroening, Daniel, Müller, Peter
フォーマット:	Recurso digital
言語:	英語
出版事項:	Zenodo 2025
主題:	protocol implementation verification symbolic security separation logic automated verification static analysis injective agreement
オンライン･アクセス:	https://doi.org/10.5281/zenodo.17373873
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

目次:

<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>