symbolic Elliptic Curve Cryptography