TY  - RPRT
TI  - Efficient Verification of Optimized Code: Correct High-speed X25519
AU  - Marc Schoolderman
AU  - Jonathan Moerman
AU  - Sjaak Smetsers
AU  - Marko van Eekelen
PY  - 2021
UR  - https://arxiv.org/abs/2012.09919
ID  - 2012.09919
ER  -