Percorrer por assunto Verified implementation
Mostrar 1-1 de um total de 1 resultados.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 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 |