Cryptanalysis of Stream Ciphers RC4 and Spritz

Source code attachment for my master's thesis.

This attachment includes tool for generating random states of ciphers RC4 and Spritz, tool to generate and test SMT programs recovering state of RC4 or Spritz and implementation and analysis of backtracking based state recovery attacks on RC4 and Spritz.

Kryptoanalýza prúdových šifier RC4 a Spritz

Príloha so zdrojovými kódmi mojej diplomovej práce.

Táto príloha obsahuje nástroj na generovanie náhodných stavov šifier RC4 a Spritz, nástroj na generovanie a testovanie SMT programov na extrakciu stavu oboch šifier a implementáciu a analýzu útokov na stav šifier RC4 a Spritz pomocou prehľadávania s návratom.