Algebraic Cryptanalysis is a guide for advanced-level students and researchers/practitioners entering this new field. This text bridges the gap between a course in cryptography, and being able to read the cryptanalytic literature. Algebraic Cryptanalysis also covers several chapters on finite field linear algebra and the equicomplexity of matrix operations. This volume introduces several techniques, including linear systems of equations over finite fields, polynomial systems, along with how to adapt the latter to be solved by SAT-solvers. The cipher Keeloq, used in nearly all automobiles with remote key-less entry, is described as a running example, including the manipulation of the equationsto enable their solution. Designed for advanced-level students in computer science and mathematics as a secondary text or reference book. Also suitable forpractitioners working for intelligence agencies or security companies. Of special interest to algebraic geometers interested in seeking more applied topics. One of first books to cover SAT-solvers, and how it can be used in cryptanalysis; plus chapters on finite field linear algebra and the cipher Keeloq Excellent guide for advanced-level students, researchers and practitioners enteringthe algebraic cryptanalysis field Bridges the gap between a course in cryptography, and being able to read the cryptanalytic literature, among academics and industry practitioners INDICE: Preface.- Introduction: How to Use this Book.- An Extended Example: Keeloq.- The Block-Cipher Keeloq and Algebraic Attacks.- The Fixed-Point Attack.- Polynomial Systems and Satisfiability.- 4 Strategies for Polynomial Systems.- Algorithms for Solving Polynomial Systems.- Converting MQ to CNF-SAT.- How Do SAT-Solvers Operate?.- Applying SAT-Solvers to Extension Fields of Low Degree.- Linear Systems.- Some Basic Facts about Linear Algebra over GF(2).- A Model for the Complexity of GF(2)-Operations.- On the Exponent of Certain Matrix Operations.- The Method of Four Russians.- An Impractical Method of Accelerating Matrix Operations in Rings of Finite Size.- Appendix.- Index.
- ISBN: 978-0-387-88756-2
- Editorial: Springer
- Encuadernacion: Cartoné
- Páginas: 280
- Fecha Publicación: 01/04/2009
- Nº Volúmenes: 1
- Idioma: Inglés