%0 Conference Paper
%B On the Move to Meaningful Internet Systems - OTM
%D 2007
%T Compiler Assisted Elliptic Curve Cryptography
%A Manuel Bernardo Barbosa
%A Andrew Moss
%A Dan Page
%C Vilamoura, Portugal
%I Springer
%P 1785-1802
%S Lecture Notes in Computer Science
%V 4804
%X <p>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 pro ject on this general topic.</p>
%8 November
%@ 978-3-540-76835-7
%> https://haslab.uminho.pt/sites/default/files/mbb/files/paper_1.pdf