Publicação

Type checking cryptography implementations

Ver documento

Detalhes bibliográficos
Resumo:Cryptographic software development is a challenging field: high performance must be achieved, while ensuring correctness and compliance with low-level security policies. CAO is a domain specific language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as predefined sized vectors, matrices and bit strings, residue classes modulo an integer, finite fields and finite field extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system.
Autores principais:Barbosa, Manuel
Outros Autores:Page, D.; Moss, Andrew; Rodrigues, Nuno F.; Silva, Paulo
Assunto:Cryptography Programming language
Ano:2012
País:Portugal
Tipo de documento:comunicação em conferência
Tipo de acesso:acesso aberto
Instituição associada:Universidade do Minho
Idioma:inglês
Origem:RepositóriUM - Universidade do Minho

Registos relacionados

Registos relacionados