Publication details
CRC64 Algorithm Analysis and Verification
| Basic information | |
|---|---|
| Original title: | CRC64 Algorithm Analysis and Verification |
| Authors: | David Šafránek, Vojtěch Řehák, Tomáš Kratochvíla, Pavel Šimeček, Petr Hlávka, Tomáš Vojnar |
| Further information | |
|---|---|
| Citation: | ŠAFRÁNEK, David  - ŘEHÁK, Vojtěch - KRATOCHVÍLA, Tomáš - ŠIMEČEK, Pavel - HLÁVKA, Petr - VOJNAR, Tomáš. CRC64 Algorithm Analysis and Verification. Brno : CESNET, z. s. p. o., 2005. Technical Report 27/2005.  WWW |
| Original language: | English |
| Field: | Informatika |
| Type: | R&D Presentation |
| Keywords: | CRC64; formal verification; correctness of CRC algorithm |
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:
- Automated Verification of Parallel and Distributed Systems
- Integrated approach to education of PhD students in the area of parallel and distributed systems
- Techniques for automatic verification and validation of software nad hardware systems
- Highly Parallel and Distributed Computing Systems
