International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

First Steps Toward a Cryptography-Aware Language and Compiler

Authors:
M. Barbosa
R. Noad
Daniel Page
Nigel P. Smart
Download:
URL: http://eprint.iacr.org/2005/160
Search ePrint
Search Google
Abstract: When developing secure, high-performance cryptographic software, the programmer is presented with a wide range of problems. Not only must they be conversant with pertinent scientific results, they must efficiently translate said results into a practical context. Unlike when writing normal programs, they are given little help from either the language or compiler: both are typically too general purpose to offer domain specific optimisation or analysis that would save the programmer time and reduce the potential for error. As a step toward solving this problem we present CAO, a cryptography-aware domain-specific language and associated compiler system. Rather than being a panacea, we pitch CAO as a mechanism for transferring and automating the expert knowledge of cryptographers into a form which is accessible to anyone writing security conscious software.
BibTeX
@misc{eprint-2005-12496,
  title={First Steps Toward a Cryptography-Aware Language and Compiler},
  booktitle={IACR Eprint archive},
  keywords={implementation /},
  url={http://eprint.iacr.org/2005/160},
  note={ page@cs.bris.ac.uk 12936 received 2 Jun 2005},
  author={M. Barbosa and R. Noad and Daniel Page and Nigel P. Smart},
  year=2005
}