autores
- José Carlos Bacelar Almeida
- Almeida, JB
- Dupressoir, Francois
- Almeida, José Bacelar
- Barbosa, M
- Barbosa, Manuel Gonçalves
- Barthe, G
- Barthe, Gilles
- Dupressoir, F
Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2013