Search
Now showing items 1-1 of 1
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Abschlussarbeit (Bachelor)
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 ...