Institute of Theoretical Computer Science

Dr. Tobias Eibach

Publications

T. Eibach
Generic Attacks on Stream Ciphers
Dissertation, Universität Ulm, 2008.

T. Eibach, G. Völkel, E. Pilz
Optimising Gröbner Bases on Bivium
Mathematics in Computer Science Vol. 3, 2008, pp 159-172.

T. Eibach, G. Völkel
Optimising Gröbner Bases on Bivium
Proceedings of SCC'08 - First International Conference on Symbolic Computation and Cryptography, pp. 83-94, LMIB Beihang University, 2008.

T. Eibach, E. Pilz, G. Völkel
Attacking Bivium Using SAT Solvers
SAT'08 - Theory and Applications of Satisfiability Testing, LNCS 4996, pp. 63-76, Springer Verlag, 2008.

T. Eibach, E. Pilz, S. Steck
Comparing and Optimising Two Generic Attacks on Bivium
Proceedings of SASC'08 - The State of the Art of Stream Ciphers, pp. 57-68, ECRYPT, 2008.

T. Eibach, E. Pilz,
Ein Angriff auf Bivium mittels SAT Solver
7. Kryptotag, GI technical report, 2007.

Teaching

Research Interests

  • Stream Ciphers
  • SATisfiability
  • Gröbner Bases
  • Algorithmic Learning Theory
  • Game Theory

Talks

  • "How Algorithmic Learning Theory influences Cryptography", Workshop Reisensburg, February 2006.
  • "Algorithmic Learning Theory vs. Cryptography", Universität Würzburg, July 2006.
  • "Algorithmic Learning Theory and Cryptography - about the average case", University Mannheim, 2006.
  • "Overview of Algorithmic Learning Theory and Cryptography", eCrypt summer school, 2007.
  • "Comparing and Optimising Attacks on Stream Ciphers", Workshop Reisensburg, January 2008.
  • "Comparing and Optimising Two Generic Attacks on Bivium", SASC'08.
  • "Optimising Gröbner Bases on Bivium", SCC'08.
  • "Attacking Bivium Using SAT Solvers", poster at SAT'08, Sun Yat-Sen University, 2008.
  • "Attacking Bivium Using SAT Solvers", talk at SAT'08, Sun Yat-Sen University, 2008.

Websites

Function

former PhD Student