Encontrados 2 documentos, a visualizar página 1 de 1
Type checking cryptography implementations
Barbosa, Manuel; Moss, Andrew; Page, Dan; F. Rodrigues, Nuno; Silva, Paulo F.Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c 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 prede ned sized vectors, matrices and bit st...
Constructive and destructive use of compilers in elliptic curve cryptography
Barbosa, Manuel Bernardo; Moss, Andrew; Page, DanAlthough cryptographic software implementation is often performed by expert programmers, the range of performance and security driven options, as well as more mundane software engineering issues, still make it a challenge. The use of domain specific language and compiler techniques to assist in description and optimisation of cryptographic software is an interesting research challenge. In this paper we investig...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||