Closed Bug 1419342 Opened 7 years ago Closed 7 years ago

Add Curve 25519 F* spec

Categories

(NSS :: Libraries, enhancement)

3.34
enhancement
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED

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: nobody → franziskuskiefer
https://hg.mozilla.org/projects/nss/rev/f5cb448b91f9a2efacdf50fd6405acb00eaa9869
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
Attachment #8934061 - Attachment is obsolete: true
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: