lo/libsoliton
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Update Audit and Testing

kamal 2026-04-23 05:15:47 +00:00
commit 098a4ddf8f
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
Audit-and-Testing.md

@ -2,6 +2,14 @@
Trust signals for evaluating libsoliton's reliability and security posture.
## Formal Verification
8 Tamarin models (55 lemmas) and 5 CryptoVerif models (7 queries) provide
machine-checked proofs of all 13 security theorems from the
[Formal Analysis](Formal-Analysis) specification. See
**[Formal Verification](Formal-Verification)** for full results, bounds,
and reproduction instructions.
## Test Suite
| Location | Count | Description |