2018 · 11 citations · 21 references
EngineeringComputer EngineeringComputer ScienceComputer SecurityEmbedded SystemsHardware SecurityDesign For TestabilityEmbedded DebuggingEmbedded SecurityEmbedded System SecurityHardware DebuggingSecure System DesignExperimental Results InterpretationPost-silicon ValidationReconfiguration SecurityScan DesignSecure DesignSecure Hardware Design VerificationSecure Information Flow
Reconfigurable Scan Networks (RSNs) allow flexible access to embedded instruments for post-silicon validation and debug or diagnosis. However, this scan infrastructure can also be exploited to leak or corrupt critical information as observation and controllability of registers deep inside the circuit are increased. Securing an RSN is mandatory for maintaining safe and secure circuit operations but difficult due to its complex data flow dependencies. This work proposes a method that detects security violations and transforms a given insecure RSN into a secure RSN for which the secure data flow as specified by a user is guaranteed by construction. The presented method is guided by user-defined cost functions that target e.g., test performance or wiring cost. We provide a case study and experimental results demonstrating the applicability of the method to large designs with low runtime.
21
Design principles for tamper-resistant smartcard processors
Oliver Kömmerling, Markus Kühn · 1999 · 543 citations
Scan design and secure chip [secure IC testing]
David Hély, Marie-Lise Flottes, F. Bancel et al. · 2004 · 94 citations · Full text
Test Versus Security: Past and Present
Jean Da Rolt, A. Das, Giorgio Di Natale et al. · IEEE Transactions on Emerging Topics in Computing · 2014 · 91 citations · Full text
Engineering, Computer Engineering, Electrical Engineering +17