autores
- José Carlos Bacelar Almeida
- Almeida, JB
- Barbosa, M
- Barthe, G
- Dupressoir, F
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
Artigo Académico
- Visão geral