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. © 2014 Springer-Verlag.
Cite
CITATION STYLE
Barbosa, M., Castro, D., & Silva, P. F. (2014). Compiling CAO: From cryptographic specifications to C implementations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8414 LNCS, pp. 240–244). Springer Verlag. https://doi.org/10.1007/978-3-642-54792-8_13
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
