@inbook {Barbosa14,
	title = {Compiling CAO: From Cryptographic Specifications to C Implementations},
	booktitle = {Principles of Security and Trust},
	series = {Lecture Notes in Computer Science},
	volume = {8414},
	year = {2014},
	pages = {240-244},
	publisher = {Springer Berlin Heidelberg},
	organization = {Springer Berlin Heidelberg},
	address = {Grenoble},
	abstract = {<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>
},
	isbn = {978-3-642-54791-1},
	doi = {10.1007/978-3-642-54792-8_13},
	url = {http://dx.doi.org/10.1007/978-3-642-54792-8_13},
	attachments = {https://haslab.uminho.pt/sites/default/files/pfsilva/files/post14-ack.pdf},
	author = {Manuel Bernardo Barbosa and David Castro and Paulo Silva},
	editor = {Mart{\'\i}n Abadi and Steve Kremer}
}