Eccfrog512ck2: An Enhanced 512-bit Weierstrass Elliptic Curve. - Víctor Duarte Melo; William J. Buchanan (IACR Cryptol. ePrint Arch., 2025)