Please use this identifier to cite or link to this item:
http://repositorio.inesctec.pt/handle/123456789/4752
Title: | A Tool-Chain for High-Assurance Cryptographic Software |
Authors: | José Bacelar Almeida Manuel Barbosa Hugo Pereira Pacheco Pereira,V |
Issue Date: | 2016 |
Abstract: | 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. |
URI: | http://repositorio.inesctec.pt/handle/123456789/4752 |
metadata.dc.type: | article Publication |
Appears in Collections: | HASLab - Articles in International Journals |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
P-00K-XHG.pdf | 245.08 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.