Commit 4df2f959 authored by Timmy Weerwag's avatar Timmy Weerwag
Browse files

Small typo

parent 75adf731
......@@ -160,7 +160,7 @@ We first formalized X25519 from RFC~7748~\cite{rfc7748} in Coq.
We then proved that TweetNaCl's implementation of X25519 matches our formalization.
In a second step we extended the Coq library for elliptic curves \cite{BartziaS14}
by Bartzia and Strub to support Montgomery curves.
Using this extension we proved that the the X25519 specification from the RFC matches the
Using this extension we proved that the X25519 specification from the RFC matches the
mathematical definitions as given in~\cite[Sec.~2]{Ber06}.
Therefore in addition to proving the mathematical correctness of TweetNaCl,
we also increase the trust of other works such as
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment