Compiler assisted elliptic curve cryptography

Authors:
M. Barbosa;A. Moss;D. Page
Affiliations:
Departamento de Informática, Universidade do Minho, Braga, Portugal;Department of Computer Science, University of Bristol, Bristol, United Kingdom;Department of Computer Science, University of Bristol, Bristol, United Kingdom
Venue:
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part II
Year:
2007

Citing 16
Cited 3

Use of elliptic curves in cryptography

Lecture notes in computer sciences; 218 on Advances in cryptology---CRYPTO 85
Implementing the Rivest Shamir and Adleman public key encryption algorithm on a standard digital signal processor

Proceedings on Advances in cryptology---CRYPTO '86
Hyperelliptic cryptosystems

Journal of Cryptology
Threshold accepting: a general purpose optimization algorithm appearing superior to simulated annealing

Journal of Computational Physics
The complexity of scheduling for data cache optimization

Information Sciences: an International Journal
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms

The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Advanced compiler design and implementation

Advanced compiler design and implementation
Tempo: specializing systems applications and beyond

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Elliptic curves in cryptography

Elliptic curves in cryptography
Computer Architecture; A Quantitative Approach

Computer Architecture; A Quantitative Approach
The EM Side-Channel(s)

CHES '02 Revised Papers from the 4th International Workshop on Cryptographic Hardware and Embedded Systems
Guide to Elliptic Curve Cryptography

Guide to Elliptic Curve Cryptography
Advances in Elliptic Curve Cryptography (London Mathematical Society Lecture Note Series)

Advances in Elliptic Curve Cryptography (London Mathematical Society Lecture Note Series)
Cache aware optimization of stream programs

LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
A domain-specific programming language for secure multiparty computation

Proceedings of the 2007 workshop on Programming languages and analysis for security
Cryptol: high assurance, retargetable crypto development and validation

MILCOM'03 Proceedings of the 2003 IEEE conference on Military communications - Volume II

Automatic generation of sigma-protocols

EuroPKI'09 Proceedings of the 6th European conference on Public key infrastructures, services and applications
Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes

Proceedings of the 2012 ACM conference on Computer and communications security
Using SMT solvers to automate design tasks for encryption and signature schemes

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security

Quantified Score

Hi-index	0.00

Visualization

Abstract

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. Our results, which focus on Elliptic Curve Cryptography (ECC), 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. Our work are set within the context of CACE, an ongoing EU funded project on this general topic.