Compiling CAO: From cryptographic specifications to C implementations
Compiling CAO: From cryptographic specifications to C implementations
| dc.contributor.author | Manuel Barbosa | en |
| dc.contributor.author | Castro,D | en |
| dc.contributor.author | Paulo Filipe Silva | en |
| dc.date.accessioned | 2017-12-22T10:02:14Z | |
| dc.date.available | 2017-12-22T10:02:14Z | |
| dc.date.issued | 2014 | en |
| dc.description.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. | en |
| dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/4732 | |
| dc.identifier.uri | http://dx.doi.org/10.1007/978-3-642-54792-8_13 | en |
| dc.language | eng | en |
| dc.relation | 5604 | en |
| dc.relation | 5632 | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.title | Compiling CAO: From cryptographic specifications to C implementations | en |
| dc.type | conferenceObject | en |
| dc.type | Publication | en |
Files
Original bundle
1 - 1 of 1