Correctness Proofs
Open
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
The goal is to prove some format correctness guarantees for tlsformats.
In particular, the guarantees we prove will be derived from the properties we expect to hold for the ProVerif model.
Contributor guide
Assessment
This issue has not been assessed yet.