%0 Book Section
%B Principles of Security and Trust
%D 2014
%T Compiling CAO: From Cryptographic Specifications to C Implementations
%A Manuel Bernardo Barbosa
%A David Castro
%A Paulo Silva
%E Martín Abadi
%E Steve Kremer
%C Grenoble
%I Springer Berlin Heidelberg
%P 240-244
%R 10.1007/978-3-642-54792-8_13
%S Lecture Notes in Computer Science
%U http://dx.doi.org/10.1007/978-3-642-54792-8_13
%V 8414
%X <p>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.<br /> The compiler back-end is highly configurable, allowing the targeting of very disparate platforms in terms of memory requirements and computing power.</p>
%@ 978-3-642-54791-1
%> https://haslab.uminho.pt/sites/default/files/pfsilva/files/post14-ack.pdf