A Tool-Chain for High-Assurance Cryptographic Software

• Tipo: Artigo em Revista Científica Internacional
• Data: 2016

Autores

Almeida, J (Autor) Outra; Barbosa, M (Autor) FCUP; Pacheco, H (Autor) Outra; Pereira, V (Autor) Outra

Revista

Título: ERCIM NEWS

Vol. 2016

Páginas: 14-15

ISSN: 0926-4981

Indexação

ISI Web of Knowledge - 0 Citações

Outras Informações

ID Authenticus: P-00K-XHG

Abstract (EN): 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 2