Percorrer por autor Barthe, Gilles Subscrever estatísticas do autor Barthe, Gilles
Mostrar 1-2 de um total de 2 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
1-Fev-2022 | A formal treatment of the role of verified compilers in secure computation | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo | Acesso aberto |
Set-2023 | Formally verifying Kyber. Episode IV: implementation correctness | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo | Acesso aberto |