Automated techniques for hash function and block cipher cryptanalysis door