Systematic Synthesis of Elliptic Curve Cryptography Implementations
NEON crypto