Login / Signup
Jonathan Moerman
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 3
Top Topics
Computationally Expensive
High Speed Networks
B Spline
Curve Evolution
Top Venues
CoRR
IACR Cryptol. ePrint Arch.
NFM
</>
Publications
</>
Marc Schoolderman
,
Jonathan Moerman
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code: Correct High-speed X25519.
IACR Cryptol. ePrint Arch.
2021 (2021)
Marc Schoolderman
,
Jonathan Moerman
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code - Correct High-Speed X25519.
NFM
(2021)
Marc Schoolderman
,
Jonathan Moerman
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code: Correct High-speed Curve25519.
CoRR
(2020)