Login / Signup
Efficient Verification of Optimized Code: Correct High-speed Curve25519.
Marc Schoolderman
Jonathan Moerman
Sjaak Smetsers
Marko C. J. D. van Eekelen
Published in:
CoRR (2020)
Keyphrases
</>
high speed
source code
low power
model checking
data structure
open source
computationally expensive
cost effective
high speed networks
java card
digital curves
curve evolution
b spline
database
query processing
information retrieval
databases
real time