autores
- Almeida, JoseCarlosBacelar
- Almeida, JB
- Vincent Laporte
- Barbosa, M
- Oliveira, T
- Almeida, José Bacelar
- Barthe, G
- Barbosa, Manuel Gonçalves
- Laporte, V
- Gilles Barthe
- Oliveira, T
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2020