Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification
Crossref DOI link: https://doi.org/10.1007/s13389-016-0138-1
Published Online: 2016-10-28
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Azzi, Sabine
Barras, Bruno
Christofi, Maria
Vigilant, David
License valid from 2016-10-28