CRC64 Algorithm Analysis and Verification

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

ŠAFRÁNEK David ŘEHÁK Vojtěch KRATOCHVÍLA Tomáš ŠIMEČEK Pavel HLÁVKA Petr VOJNAR Tomáš

Year of publication 2005
Type R&D Presentation
MU Faculty or unit

Faculty of Informatics

Citation
Description This work analyzes the use of a CRC64 algorithm as a hashing function in the Netflow project. We describe the basis of Cyclic Redundancy Check (CRC) algorithms and consider properties like collision probability, Hamming distance, and quality of distribution, which are crucial for hashing functions. Lower or upper bounds of these properties are described mathematically. However, to give more precise numbers to hardware designers, we also try to find them using model checking method.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.