Peter Schwabe, BenoƮt Viguier, Timmy Weerwag, Freek Wiedijk. A Coq proof of the correctness of X25519 in TweetNaCl. IACR Cryptology ePrint Archive, 2021:428, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.