Cryptology ePrint Archive: Report 2007/053

Compiler Assisted Elliptic Curve Cryptography

M. Barbosa and A. Moss and D. Page

Abstract: Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane software engineering issues, still make this a challenge. In an attempt to transfer expert knowledge into automated tools, we investigate the use of domain specific language and compilation techniques for cryptographic software, focusing on ECC in particular. Specifically, we describe experiments for specialisation of finite field arithmetic from general purpose code, and the description and optimisation of ECC point arithmetic using a cryptography-aware language and compiler. Our main results show that it is possible to allow description of ECC based software in a manner close to the original mathematics, while allowing the automatic production of an executable whose performance is close to that of a hand-optimised implementation.

Category / Keywords: implementation / compilers, optimisation

Date: received 15 Feb 2007, last revised 28 Feb 2007

Contact author: page at cs bris ac uk

Available formats: Postscript (PS) | Compressed Postscript (PS.GZ) | PDF | BibTeX Citation

Version: 20070228:114258 (All versions of this report)

Discussion forum: Show discussion | Start new discussion