Record payload protection
Open
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Implement record payload protection from [section-5.2](https://www.rfc-editor.org/rfc/rfc8446#section-5.2).
Contributor guide
Research direction
Start by reading RFC 8446 section 5.2, which is the only implementation reference named in the issue. Identify the relevant Bertie entry points and tests for TLS record handling, then verify that record payload protection follows the section's requirements.
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
- 20/100