On April 3, 2023, at the Faculty of Mathematics - Statistics, there was a talk by Prof. Kreuzer from the University of Passau, Germany. At the seminar, Prof. Kreuzer presented the topic "Algebraic Modeling".

Abstract: After introducing the main topics of cryptography and cryptanalysis, we explain a universal method for converting cryptanalytic attacks to the task of solving Boolean polynomial systems. Then we discuss several methods for solving such systems, for instance the Boolean Buchberger Algorithm and the application of SAT solvers. A particularly powerful kind of attacks are fault attacks which we consider next. Using the block cipher LED-64 as an example, we study how to carry out such an attack in an actual case. The remainder of the talk is devoted to introducing a novel solving method for Boolean polynomial systems based on the sRes proof system. We compare this proof system to the previously considered ones and provide some sample applications.

Here are some pictures from the seminar: