Implementace částí Stevensova algoritmu

• Thesis title in Czech: Implementace částí Stevensova algoritmu
• Thesis title in English: Implementations of parts of Steven's algorithm
• Academic year of topic announcement: 2007/2008
• Thesis type: Bachelor's thesis
• Thesis language: čeština
• Department: Department of Algebra (32-KA)
• Supervisor: doc. RNDr. Jiří Tůma, DrSc.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 15.11.2007
• Date of assignment: 15.11.2007
• Date and time of defence: 17.09.2009 00:00
• Date of electronic submission: 17.09.2009
• Date of proceeded defence: 17.09.2009
• Opponents: RNDr. Jiří Vábek

Guidelines

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.

References

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

Preliminary scope of work

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

Preliminary scope of work in English

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.