chapter AFP
session "CRYSTALS-Kyber" = "Berlekamp_Zassenhaus" +
options [timeout = 600]
sessions
"Number_Theoretic_Transform"
theories
Crypto_Scheme
Kyber_Values
Crypto_Scheme_NTT
Kyber_NTT_Values
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-07-01]
