Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography

• Type: Article in International Scientific Journal
• Date: 2009

Authors

Barbosa, M (Author) Other; Moss, A (Author) Other; Page, D (Author) Other

Journal

Title: Journal of Cryptology

Vol. 22

Pages: 259-281

ISSN: 0933-2790

Publisher: Springer Nature

Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 7 Citations

Other information

Authenticus ID: P-003-M5W

DOI: 10.1007/s00145-008-9023-0

Abstract (EN): Although cryptographic software implementation is often performed by expert programmers, the range of performance and security driven options, as well as more mundane software engineering issues, still make it a challenge. The use of domain specific language and compiler techniques to assist in description and optimisation of cryptographic software is an interesting research challenge. In this paper we investigate two aspects of such techniques, focusing on Elliptic Curve Cryptography (ECC) in particular. Our constructive results show that a suitable language allows description of ECC based software in a manner close to the original mathematics; the corresponding compiler allows automatic production of an executable whose performance is competitive with that of a hand-optimised implementation. In contrast, we study the worrying potential for na < ve compiler driven optimisation to render cryptographic software insecure. Both aspects of our work are set within the context of CACE, an ongoing EU funded project on this general topic.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 23