Publication | Closed Access

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

Hardware SecurityFault InjectionReliability EngineeringEngineeringNonlinear OperationsError Control TechniqueVerificationFault AnalysisComputer EngineeringFormal MethodsSystems EngineeringLinear CodesFault AttackFormal VerificationError Correction CodeCryptography