In Part I we present and discuss implementations of both well-known and novel algorithms for fundamental problems of linear algebra over the field with two elements (F2). In particular, we present the best known implementations for matrix-matrix multiplication and matrix decomposition for dense matrices over F2. These implementations are based on novel variants of the “M4RM” multiplication algorithm and the M4RI elimination algorithm.

In Part II we discuss Gröbner basis algorithms. No algorithm discussed in this part is new. However, we are not aware of any other treatment of either the matrix-F5 or the F4-style F5 in the English speaking literature which covers these algorithms in such detail. Furthermore, we provide reference implementations for all algorithms discussed in this part.

In Part III we apply algebraic techniques to the cryptanalysis of block ciphers. The key contributions of this part are novel ways of utilising algebraic techniques in cryptanalysis. In particular, we combine algebraic techniques with linear, differential and higher-order differential cryptanalysis. These hybrid approaches allow us to push the respective cryptanalytical technique further in most cases. We also explicitly shift the focus from solving polynomial systems of equations to computing features about block ciphers which can then be used in other attacks. Finally, we propose a new family of problems – denoted “Max-PoSSo” in this thesis – which model polynomial system solving with noise. We also propose an algorithm for solving these problems, based on Integer Programming, and apply this algorithm to the so-called “Cold Boot” problem.

Finally, I’ve also uploaded the slides I’ve made for my defence which are in a way an extended abstract.

Thanks for sharing! This might be the occasion to deeply submerge myself in F4-F5 🙂 I like your way of explaining things. BTW, the list of people who reviewed your Thesis is pretty impressive, congratulations!

Thanks, I guess the chapters on F4 and matrix-F5 are reasonably accessible, I can’t judge how accessible the F5 chapter is. Let me know what you think.

Who is this Silke person you mention in the foreword? She sounds awesome!

Thank you for sharing your work !

Thanks for sharing! This might be the occasion to deeply submerge myself in F4-F5 🙂 I like your way of explaining things. BTW, the list of people who reviewed your Thesis is pretty impressive, congratulations!

Thanks, I guess the chapters on F4 and matrix-F5 are reasonably accessible, I can’t judge how accessible the F5 chapter is. Let me know what you think.

Congratulations. 🙂