Tobias Eibach

Zimmer: 532
Telefon: 0731/502-4108
Telefax: 0731/502-4102

Meine Email-Adresse: <Vorname>.<Nachname> (at) uni-ulm.de

Vortrag über "Cryptography and Algorithmic Learning Theory "

Abstrakt zu dem Vortrag: In this talk I want to present the field that I'm doing research in as a Ph.D. student. I will first introduce the two research fields of "Algorithmic Learning Theory" and "Cryptography" and discuss the connection between the two fields. Also I will talk about the basics of Fourier transformation on boolean formulas and then review two well known papers, one by „N. Lineal, Y. Mansour, N. Nisan“ and one by „A. Blum, M. Furst, M. Kearns, R. Lipton“. The results from those papers are, that functions in AC_0 have almost all their power spectrum on the low Fourier coefficients, they can be learned efficiently and can't serve as pseudorandom function generators. Another result is a natural mapping from a problem class that is hard to learn (on the average) to a secure private key crypto system. Finally I want to present and discuss my current research topics.

Vortrag über "Attacking Stream-Ciphers using SAT Solvers "

Abstrakt zu dem Vortrag: In this talk I present the current state of a project with computer science students. We investigated different fields of cryptography and in this talk we present one approach that utilizes SAT solvers like MiniSAT to break stream ciphers like Bivium or Trivium. First we talk about the history of stream ciphers, followed by some basic knowled and an overview of this research field. Then we introduce Bivium and Trivium and the concept of the attack. In the end we discuss some open questions that are hopefully answered soon by our experiments an further theoretical investigation.