May 2, 2026 · 18 min — #post-quantum-cryptography#cryptography#formal-methods#reductions#concrete-security#lattices#fiat-shamir#QROM#security-engineering#embedded#systems