Now showing items 1-1 of 1

    • Boolsche Gleichungssysteme, SAT Solver und Stromchiffren 

      Abschlussarbeit (Bachelor)
      Pilz, Enrico
      In dieser Arbeit wird ein algebraischer State-Recovery-Angriff auf zwei Stromchiffren Bivium und Trivium vorgestellt. Die Spezifikation der Chiffren wird auf zwei Arten in ein dünn besetztes Gleichungssystem umgesetzt und ...