@inproceedings{ SVWW21,
  author        = {Peter Schwabe and Beno{\^i}t Viguier and Timmy Weerwag and Freek Wiedijk},
  title         = {A {Coq} proof of the correctness of {X25519} in {TweetNaCl}},
  booktitle     = {34th IEEE Computer Security Foundations Symposium, CSF 2021},
  publisher     = {IEEE},
  year          = {2021},
  pages         = {1--16},
  note          = {\url{http://cryptojedi.org/papers/\#tweetverif}},
}