Type checking cryptography implementations

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2012

Autores

Barbosa, M (Autor) Outra; Moss, A (Autor) Outra; Page, D (Autor) Outra; Rodrigues, NF (Autor) Outra; Silva, PF (Autor) Outra

Ata de Conferência Internacional

Título: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Páginas: 316-334

4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011

Tehran, 20 April 2011 through 22 April 2011

Indexação

Scopus - 3 Citações

Outras Informações

ID Authenticus: P-008-3R8

DOI: 10.1007/978-3-642-29320-7_21

Abstract (EN): 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. © 2012 Springer-Verlag.

Idioma: Inglês

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