Compiling CAO: From Cryptographic Specifications to C Implementations

Citation:
Barbosa MB, Castro D, Silva P.  2014.  Compiling CAO: From Cryptographic Specifications to C Implementations. Principles of Security and Trust. 8414:240-244.

Web Site Title:

Lecture Notes in Computer Science

Abstract:

We present a compiler for CAO, an imperative DSL for the cryptographic domain. The tool takes high-level cryptographic algorithm specifications and translates them into C implementations through a series of security-aware transformations and optimizations.
The compiler back-end is highly configurable, allowing the targeting of very disparate platforms in terms of memory requirements and computing power.

Website

Citation Key:

Barbosa14

ISBN:

978-3-642-54791-1

PreviewAttachmentSize
post14.pdf131.94 KB