Sign in

Formally verifying Kyber Episode IV: Implementation correctness.

José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireVincent LaporteJean-Christophe LéchenetTiago OliveiraHugo PachecoMiguel QuaresmaPeter SchwabeAntoine SéréPierre-Yves Strub
Published in: IACR Trans. Cryptogr. Hardw. Embed. Syst. (2023)
Keyphrases
  • knowledge base
  • data structure
  • data mining
  • genetic algorithm
  • artificial neural networks
  • general purpose
  • model checking