Automating Aspects of Cryptographic Implementation: A Cryptography-Aware Language and Compiler

Automating Aspects of Cryptographic Implementation: A Cryptography-Aware Language and Compiler

ABSTRACT:

History has shown that programmers do bad mathematics and mathematicians write bad programs. This isn't a good situation if we need to write mathematically oriented, cryptographic software. It is even worse if this software runs on your credit card since it needs to be secure as well as efficient and functionally correct. As a step toward resolving this problem, we present a language and compiler which allows novel cryptography-aware analysis and optimisation phases.