1. M. Barbosa, R. Noad, D. Page, and N. P. Smart, First steps toward a cryptography-aware language and compiler, IACR, 45 pages.[eprint]