The Formal Way – Fast and Accurate Hashing Algorithm Verification Author(s): Sini Balakrishnan, Sireesha Tulluri, Bindumadhava SS, Disha Puri Download
