A Coq proof of the correctness of X25519 in TweetNaCl
2021
Online
unknown
Zugriff:
Titel: |
A Coq proof of the correctness of X25519 in TweetNaCl
|
---|---|
Autor/in / Beteiligte Person: | Viguier, B. ; Schwabe, P. ; Weerwag, T. ; Wiedijk, F. |
Link: | |
Veröffentlichung: | 2021 |
Medientyp: | unknown |
DOI: | 10.5281/zenodo.4439686 |
Sonstiges: |
|