A new open-source tool automates the search for compact, exact algebraic descriptions of cipher S-boxes, sharply reducing the ...