Loading…
Automated Methods in Cryptographic Fault Analysis
This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated de...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Breier, Jakub (Editor), Hou, Xiaolu (Editor), Bhasin, Shivam (Editor) |
Format: | e-Book |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Edition: | 1st ed. 2019. |
Subjects: | |
Online Access: | Full-text access View in OPAC |
Similar Items
-
Multi-run Memory Tests for Pattern Sensitive Faults
by: Mrozek, Ireneusz
Published: (2019) -
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, et al.
Published: (2019) -
Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
by: Martins, Ricardo, et al.
Published: (2017) -
Design Automation for Differential MOS Current-Mode Logic Circuits
by: Badel, Stéphane, et al.
Published: (2019) -
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils, et al.
Published: (2018)