Efficient Verification of Optimized Code - Correct High-Speed X25519.

Marc Schoolderman Jonathan Moerman Sjaak Smetsers Marko C. J. D. van Eekelen

Published in: NFM (2021)

Keyphrases

high speed
real time
source code
computationally expensive
data sets
genetic algorithm
computer vision