Return to Article Details SAT-based analysis of SHA-3 competition finalists Download Download PDF