Formalization of fault analysis and a new approach of fault detection

zbMATH Open1119.94018MaRDI QIDQ879708FDOQ879708

Authors: Chao Wang, L. Zhu, Dawu Gu 

Publication date: 9 May 2007

Published in: Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

Recommendations

• A differential fault attack technique against SPN structures, with application to the AES and KHAZAD.
• scientific article; zbMATH DE number 1304107
• \textsc{Friet}: an authenticated encryption scheme with built-in fault detection
• scientific article; zbMATH DE number 1440882
• Differential and linear cryptanalysis for 2-round spns

zbMATH Keywords

fault analysisdifferential fault analysis (DFA)parity-based techniquepseudo-blindingsubstitution permutation network (SPN)

Mathematics Subject Classification ID

Cryptography (94A60) Fault detection; testing in circuits and networks (94C12)

Cited In (4)

• A new method for the detections of multiple faults using binary decision diagrams
• Towards Formal Fault Tree Analysis Using Theorem Proving
• From Fault-Tree To Fault-Identification
• Fault isolability with different forms of the faults-symptoms relation

This page was built for publication: Formalization of fault analysis and a new approach of fault detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879708)