View of A study of the applicability of the SMT/SAT-based theorem proves for Keccak hash functions cryptanalysis

Return to Article Details A study of the applicability of the SMT/SAT-based theorem proves for Keccak hash functions cryptanalysis Download Download PDF