Closed
Bug 1419342
Opened 7 years ago
Closed 7 years ago
Add Curve 25519 F* spec
Categories
(NSS :: Libraries, enhancement)
Tracking
(Not tracked)
RESOLVED
FIXED
3.35
People
(Reporter: franziskus, Assigned: franziskus)
References
(Blocks 1 open bug)
Details
Attachments
(1 obsolete file)
NSS should have the spec for every algorithm that's integrated from HACL* to make sure that we can check that the full code generation/verification chain is sound when updating HACL* code.
|
Assignee | |
Updated•7 years ago
|
Assignee: nobody → franziskuskiefer
|
|
Assignee | |
Comment 1•7 years ago
|
||
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
|
||
Updated•7 years ago
|
Attachment #8934061 -
Attachment is obsolete: true
You need to log in
before you can comment on or make changes to this bug.
Description
•