Verification of the (1-δ)-Correctness Proof of CRYSTALS-KYBER with Number Theoretic Transform.

Katharina Kreuzer

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

real time
small number
computational complexity
memory requirements
computational effort
databases
data mining
search algorithm
lower bound
mobile robot
model checking
formal verification