2-preliminaries.tex 292 Bytes
Newer Older
1
\section{Preliminaries}
Benoit Viguier's avatar
Benoit Viguier committed
2
\label{sec:preliminaries}
Benoit Viguier's avatar
Benoit Viguier committed
3

Peter Schwabe's avatar
Peter Schwabe committed
4
5
6
In this section, we first give a brief summary of the mathematical background
on elliptic curves. We then describe X25519 and its implementation in TweetNaCl.
Finally, we provide a brief description of the formal tools we use in our proofs.