Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2013 | Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al. | Artigo em ata de conferência | Acesso aberto |
30-Out-2017 | A fast and verified software stack for secure function evaluation | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al. | Artigo em ata de conferência | Acesso aberto |
10-Ago-2016 | Verifying constant-time implementations | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al. | Artigo em ata de conferência | Acesso aberto |