A Note on Strongly Fault-Secure Sequential Circuits
From MaRDI portal
concurrent fault detectionsequential circuitstrongly fault securetotally self-checkingunidirectional faults
Recommendations
- Machine checked proofs of the design of a fault-tolerant circuit
- Sequential Circuit Design for Embedded Cryptographic Applications Resilient to Adversarial Faults
- On Secure Orders in the Presence of Faults
- scientific article; zbMATH DE number 3722574
- scientific article; zbMATH DE number 2090637
- Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test
- scientific article; zbMATH DE number 942481
Cited in
(3)
This page was built for publication: A Note on Strongly Fault-Secure Sequential Circuits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3786419)