The Formal Way – Fast and Accurate Hashing Algorithm Verification

Author(s):
Sini Balakrishnan, Sireesha Tulluri, Bindumadhava SS, Disha Puri
Location:
India
Year:
2022
Type:
Presentation
Format:
pptx