PhD Thesis: Algorithmic Algebraic Techniques and their Application to Block Cipher Cryptanalysis