Binary Decisions Diagrams for Algebraic Attacks

English: PDF Finse’14