Login / Signup

Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification.

Sabine AzziBruno BarrasMaria ChristofiDavid Vigilant
Published in: J. Cryptogr. Eng. (2017)
Keyphrases
  • formal verification
  • model checking
  • piecewise linear
  • simple linear
  • knowledge representation
  • reverse engineering