量子鍵配送(QKD)と耐量子暗号を用いた
セキュア通信プロトコルを個人研究。
実装・攻撃実験・形式検証(Tamarin / ProVerif)を
Security Claims Table で結び、
守る範囲を明示的に固定しています。
Pinned Loading
-
stage203
stage203 PublicExternal-ready PoC for QSP: claim-bound, CI-verifiable quantum-safe session architecture with one-command reproducibility and machine-linked evidence.
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.