%0 Journal Article
%J ERCIM News
%D 2016
%T A Tool-Chain for High-Assurance Cryptographic Software
%A José Bacelar Almeida
%A Manuel Barbosa
%A Hugo Pacheco
%A Vitor Pereira
%U http://ercim-news.ercim.eu/en106/special/a-tool-chain-for-high-assurance-cryptographic-software
%V 2016
%X <p> Cryptography is an inherently interdisciplinary area and the development of high-quality cryptographic software is a time-consuming task drawing on skills from mathematics, computer science and electrical engineering, only achievable by highly skilled programmers. The challenge is to map high-level cryptographic specifications phrased using mathematical abstractions into efficient implementations at the level of C or assembly that can be deployed on a target computational platform, whilst adhering to the specification both in terms of correctness and security. The High Assurance Software Laboratory at INESC-TEC maintains a domain-specific toolchain for the specification, implementation and verification of cryptographic software centred on CAO, a cryptography analyses and operations-aware language. </p>
%Z <p>n/a</p>
%> https://haslab.uminho.pt/sites/default/files/jba/files/16ercimnews.pdf