Automated techniques for hash function and block cipher cryptanalysis by