Methods and Tools for Analysis of Symmetric Cryptographic Primitives December 1, 2014 methods and tools cryptographic primitives analysis English: PDF Thesis