TLS 1.3 Formal Specification
Open
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
Research direction
The issue provides no body, files, tests, or entry point. Clarify the intended TLS 1.3 formal specification scope and acceptance criteria before locating implementation work in the Bertie repository.
Written by the indexing model from the issue text.
Assessment
- Domain
- cryptography, security
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 10/100