Technical reportHLÁVKA Petr, KRATOCHVÍLA Tomáš, ŘEHÁK Vojtěch, ŠAFRÁNEK David, ŠIMEČEK Pavel and VOJNAR Tomáš. CRC64 Algorithm Analysis and Verification. Brno: CESNET National Research and Education Network, 2005. | Publication language: | english |
---|
Original title: | CRC64 Algorithm Analysis and Verification |
---|
Title (cs): | Analýza a verifikace CRC64 algoritmu |
---|
Pages: | 7 |
---|
Place: | Brno, CZ |
---|
Year: | 2005 |
---|
Publisher: | CESNET National Research and Education Network |
---|
URL: | http://www.cesnet.cz/doc/techzpravy/2005/crc64/ [HTML] |
---|
Keywords |
---|
formal verification, model checking, CRC64
|
Annotation |
---|
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. |
BibTeX: |
---|
@TECHREPORT{
author = {Petr Hl{\'{a}}vka and Tom{\'{a}}{\v{s}}
Kratochv{\'{i}}la and Vojt{\v{e}}ch
{\v{R}}eh{\'{a}}k and David {\v{S}}afr{\'{a}}nek
and Pavel {\v{S}}ime{\v{c}}ek and
Tom{\'{a}}{\v{s}} Vojnar},
title = {CRC64 Algorithm Analysis and Verification},
pages = {7},
year = {2005},
location = {Brno, CZ},
publisher = {CESNET National Research and Education Network},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7996}
} |
|