Showing 1 - 1 results of 1 for search 'José Bacelar Almeida', query time: 0.02s
Refine Results
-
1
Formally verifying Kyber by José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub
Published 2023-06-01
Article