2-preliminaries.tex 292 Bytes
 Peter Schwabe committed Jun 20, 2019 1 \section{Preliminaries}  Benoit Viguier committed Aug 12, 2019 2 \label{sec:preliminaries}  Benoit Viguier committed Jul 10, 2019 3   Peter Schwabe committed Jul 30, 2019 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.