Implementace částí Stevensova algoritmu

• Název práce v češtině: Implementace částí Stevensova algoritmu
• Název v anglickém jazyce: Implementations of parts of Steven's algorithm
• Akademický rok vypsání: 2007/2008
• Typ práce: bakalářská práce
• Jazyk práce: čeština
• Ústav: Katedra algebry (32-KA)
• Vedoucí / školitel: doc. RNDr. Jiří Tůma, DrSc.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 15.11.2007
• Datum zadání: 15.11.2007
• Datum a čas obhajoby: 17.09.2009 00:00
• Datum odevzdání elektronické podoby: 17.09.2009
• Datum proběhlé obhajoby: 17.09.2009
• Oponenti: RNDr. Jiří Vábek

Zásady pro vypracování

Seznámit se se Stevensovým algoritmem pro hledání kolizí v hašovací funkci MD5.
Implementovat jeho vybrané části jako pomůcku pro formulaci a ověřování hypotéz umožňujících formální důkaz spolehlivosti Stevensova algoritmu.

Seznam odborné literatury

Stránka Stevensova projektu Chosen Prefix Collisions http://www.win.tue.nl/hashclash/ChosenPrefixCollisions/

Diplomová práce Marc Stevens, "On Collisions for MD5",
http://www.win.tue.nl/hashclash/On%20Collisions%20for%20MD5%20-%20M.M.J.%20Stevens.pdf

Další článek k tématu (stručnější verze diplomové práce)
http://www.win.tue.nl/hashclash/EC07v2.0.pdf

Předběžná náplň práce

Implemetace částí Stevensova algoritmu pro hledání kolizí v hašovací funkci MD5 jako nástroj pro formální důkaz správnosti algoritmu.

Předběžná náplň práce v anglickém jazyce

Implementations of certain parts of Steven's algorithm for finding collisions in the hash function MD5 as a tool for formal proof of validity of the algorithm.