Formalization of fault analysis and a new approach of fault detection

MaRDI QIDQ879708zbMATH OpenFDO

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)

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)

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

Cited in

(4)

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

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)