Showing 1 - 2 results of 2 for search 'Vincent Laporte', query time: 0.02s
Refine Results
-
1
High-assurance zeroization by Santiago Arranz Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe
Published 2023-12-01
Article -
2
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