Constructive and destructive use of compilers in elliptic curve cryptography - Barbosa, Manuel (2009)