CRC64 Algorithm Analysis and Verification

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F05%3A00012922" target="_blank" >RIV/00216224:14330/05:00012922 - isvavai.cz</a>

Alternative codes found

RIV/63839172:_____/05:00000249

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

CRC64 Algorithm Analysis and Verification

Original language 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.

Czech name

CRC64 Algorithm Analysis and Verification

Czech description

Zpráva obsahuje analýzu a verifikaci algoritmu implementovaného v hardware pro kontrolní součet CRC64. Základy algoritmu CRC jsou popsány v první části právce, po té jsou stanoveny klíčové vlastnosti zaručující korektnost - pravděpodobnost kolize, Hammingova vzálenost a kvalita distribuce hašujících funkcí.

Type

A - Audiovisual production

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

—

Place of publication

Brno

Publisher/client name

CESNET, z. s. p. o.

Version

Technical Report 27/2005

Carrier ID

—