Symbol: ED448_SECURITY_BITS