pyecsca.ec.formula.expand module

Provides a formula expansion function.

expand_formula_set(formulas, norm=<function ivs_norm>)[source]
Expand a set of formulas by using transformations:

  • Fliparoos

  • Sign switching

  • Associativity and Commutativity

Parameters:
Return type:

Set[Formula]

Returns: