LDTFI: Layout-aware Timing Fault-Injection Attack Assessment Against Differential Fault Analysis

Shuvo, Amit Mazumder; Pundir, Nitin; Park, Jungmin; Farahmandi, Farimah; Tehranipoor, Mark

doi:10.1109/isvlsi54635.2022.00036

Cited by 8 publications

(4 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is crucial to note that these security solutions are also at risk of probing-based attacks, which may lead to the leakage of sensitive information through the interposer layer. Moreover, remote attackers can introduce software-induced hardware fault injection attacks to make these security solutions inapplicable in mission-critical applications [47]. Furthermore, commercial Electronic Design Automation (EDA) tools predominantly focus on 2D monolithic SoC design or verification methodologies.…”

Section: State-of-the-art Security Assessment On Sipmentioning

confidence: 99%

“…Among existing research studies for the identification and mitigation of FI, where sensors are used primarily to monitor changes in electrical parameters [108]- [112] in 2D ASIC designs [113], [114], there is a notable lack of countermeasures in the context of SiP. To address this shortcoming, we integrate a two-stage comprehensive framework into the CHSM to detect FI and tampering attempts within an SiP.…”

Section: F C5 Mitigation Against Fault Injectionmentioning

confidence: 99%

See 1 more Smart Citation

Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration

Sami,

Zhang,

Shuvo

et al. 2024

IEEE Access

Self Cite

View full text Add to dashboard Cite

The semiconductor industry has adopted heterogeneous integration (HI), incorporating modular intellectual property (IP) blocks (chiplets) into a unified system-in-package (SiP) to overcome the slowdown in Moore's Law and Dennard scaling and to respond to the increasing demand for advanced integrated circuits (ICs). Despite the manifold benefits of HI, such as enhanced performance, reduced area overhead, and improved yield, this transformation has also led to security vulnerabilities in the SiP supply chain and in-field operations, ranging from chiplet piracy and SiP reverse engineering (RE) to information leakage. Although conventional countermeasures provide the desired robustness for monolithic ICs, they are insufficient for addressing these challenges in the context of HI. To address these concerns, this paper presents a novel root-of-trust architecture, augmenting the process of integration using a centralized chiplet hardware security module (CHSM), aiming to provide comprehensive and robust protection throughout the SiP supply chain and in-field operations. Also, the proposed architecture equipped with the CHSM effectively addresses potential security breaches while providing robust protection against zero-day attacks through its reconfigurable capabilities. Throughout five detailed case studies, this paper performs a comprehensive security analysis to illustrate the resilience of CHSM against contemporary attack scenarios in the HI domain.

show abstract

Section: State-of-the-art Security Assessment On Sipmentioning

confidence: 99%

Section: F C5 Mitigation Against Fault Injectionmentioning

confidence: 99%

Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration

Sami,

Zhang,

Shuvo

et al. 2024

IEEE Access

Self Cite

View full text Add to dashboard Cite

show abstract

“…In practical experiments, various methods can be employed to inject faults [26][27][28][29][30][31][32][33][34], including variations in the operational voltage, clock, or temperature of the circuit, electromagnetic pulse interference with circuit operation, utilization of laser, UV-ray, X-ray, or focused ion beam (FIB), etc. In addition to this, the rest of the key recovery processes are all accomplished through computer computations.…”

Section: Experiments About Our Combined Analysis On Picomentioning

confidence: 99%

Differential Fault and Algebraic Equation Combined Analysis on PICO

Ding,

Zhang,

et al. 2024

Mathematics

View full text Add to dashboard Cite

In modern information technology, research on block cipher security is imperative. Concerning the ultra lightweight block cipher PICO, there has been only one study focused on recovering its complete master key, with a large search space of 264, and no fault analysis yet. This paper proposes a new fault analysis approach, combining differential fault and algebraic equation techniques. It achieved the recovery of PICO’s entire master key with 40 faults in an average time of 0.57 h. S-box decomposition was utilized to optimize our approach, reducing the time by a remarkable 75.83% under the identical 40-fault condition. Furthermore, PICO’s complete master key could be recovered with 28 faults in an average time of 0.78 h, indicating a significant 237 reduction in its search space compared to the previous study. This marks the first fault analysis on PICO. Compared to conventional fault analysis methods DFA (differential fault analysis) and AFA (algebraic fault analysis), our approach outperforms in recovering PICO’s entire master key, highlighting the cruciality of key expansion complexity in block cipher security. Therefore, our approach could serve to recover master keys of block ciphers with comparably complicated key expansions, and production of more secure block ciphers could result.

show abstract

“…Timing Fault Injection [152,153]: Timing faults involve injecting errors related to timing and synchronization within the system. This technique aims to evaluate the system's behavior when faced with timing violations or synchronization failures.…”

mentioning

confidence: 99%

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security

Krichen

2023

Information

View full text Add to dashboard Cite

The increasing complexity and connectivity of automotive systems have raised concerns about their vulnerability to security breaches. As a result, the integration of formal methods and validation techniques has become crucial in ensuring the security of automotive systems. This survey research paper aims to provide a comprehensive overview of the current state-of-the-art formal methods and validation techniques employed in the automotive industry for system security. The paper begins by discussing the challenges associated with automotive system security and the potential consequences of security breaches. Then, it explores various formal methods, such as model checking, theorem proving, and abstract interpretation, which have been widely used to analyze and verify the security properties of automotive systems. Additionally, the survey highlights the validation techniques employed to ensure the effectiveness of security measures, including penetration testing, fault injection, and fuzz testing. Furthermore, the paper examines the integration of formal methods and validation techniques within the automotive development lifecycle, including requirements engineering, design, implementation, and testing phases. It discusses the benefits and limitations of these approaches, considering factors such as scalability, efficiency, and applicability to real-world automotive systems. Through an extensive review of relevant literature and case studies, this survey provides insights into the current research trends, challenges, and open research questions in the field of formal methods and validation techniques for automotive system security. The findings of this survey can serve as a valuable resource for researchers, practitioners, and policymakers involved in the design, development, and evaluation of secure automotive systems.

show abstract

LDTFI: Layout-aware Timing Fault-Injection Attack Assessment Against Differential Fault Analysis

Cited by 8 publications

References 0 publications

Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration

Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration

Differential Fault and Algebraic Equation Combined Analysis on PICO

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security

Contact Info

Product

Resources

About