Formally Verifying Kyber
José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub
Topics & Concepts
Computer scienceProgramming languageCryptography and Data SecuritySecurity and Verification in ComputingCloud Data Security Solutions