Verification of Correctness and Security Properties for CRYSTALS-KYBER.

Katharina Kreuzer

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

Keyphrases

security properties
cryptographic protocols
formal methods
security protocols
security requirements
formal model
security analysis
security vulnerabilities
model checking
information security
access control
expert systems
standard model
formal verification
information systems
artificial intelligence
real time