Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14822
Título: | Type checking cryptography implementations |
Autor(es): | Barbosa, Manuel Page, D. Moss, Andrew Rodrigues, Nuno F. Silva, Paulo |
Palavras-chave: | Cryptography Programming language |
Data: | 2012 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
Descrição: | Proceedings da conferência Fundamentals of Software Engineering 2011 |
URI: | https://hdl.handle.net/1822/14822 |
ISBN: | 9783642293191 |
DOI: | 10.1007/978-3-642-29320-7_21 |
ISSN: | 0302-9743 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
caotc.pdf | Documento principal | 402,16 kB | Adobe PDF | Ver/Abrir |