Přístupnostní navigace
E-application
Search Search Close
Publication detail
HLÁVKA, P., KRATOCHVÍLA, T., ŘEHÁK, V., ŠAFRÁNEK, D., ŠIMEČEK, P., VOJNAR, T.
Original Title
CRC64 Algorithm Analysis and Verification
Type
report
Language
English
Original Abstract
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.
Keywords
formal verification, model checking, CRC64
Authors
RIV year
2005
Released
2. 12. 2005
Publisher
CESNET National Research and Education Network
Location
Brno
Pages count
7
URL
http://www.cesnet.cz/doc/techzpravy/2005/crc64/
BibTex
@techreport{BUT57653, author="Petr {Hlávka} and Tomáš {Kratochvíla} and Vojtěch {Řehák} and David {Šafránek} and Pavel {Šimeček} and Tomáš {Vojnar}", title="CRC64 Algorithm Analysis and Verification", year="2005", publisher="CESNET National Research and Education Network", address="Brno", pages="7", url="http://www.cesnet.cz/doc/techzpravy/2005/crc64/" }