中文
相关论文

相关论文: SYNFI: Pre-Silicon Fault Analysis of an Open-Sourc…

200 篇论文

The wide adoption of IoT gadgets and Cyber-Physical Systems (CPS) makes embedded devices increasingly important. While some of these devices perform mission-critical tasks, they are usually implemented using Micro-Controller Units (MCUs)…

密码学与安全 · 计算机科学 2023-03-08 Antonio Joia Neto , Ivan de Oliveira Nunes

Counterfeit products cause severe harm to public safety and health by penetrating untrusted supply chains. Numerous anti-counterfeiting techniques have been proposed, among which the use of inherent, unclonable irregularities of paper…

密码学与安全 · 计算机科学 2024-08-06 Anirudh Nakra , Min Wu , Chau-Wai Wong

Counterfeit products pose significant risks to public health and safety through infiltrating untrusted supply chains. Among numerous anti-counterfeiting techniques, leveraging inherent, unclonable microscopic irregularities of paper…

密码学与安全 · 计算机科学 2025-12-11 Anirudh Nakra , Nayeeb Rashid , Chau-Wai Wong , Min Wu

Despite its ever-increasing impact, security is not considered as a design objective in commercial electronic design automation (EDA) tools. This results in vulnerabilities being overlooked during the software-hardware design process.…

密码学与安全 · 计算机科学 2023-08-08 Lennart M. Reimann , Jonathan Wiesner , Dominik Sisejkovic , Farhad Merchant , Rainer Leupers

Hardware Trojans have drawn the attention of academia, industry and government agencies. Effective detection mechanisms and countermeasures against such malicious designs can only be developed when there is a deep understanding of how…

密码学与安全 · 计算机科学 2019-10-03 Samaneh Ghandali , Thorben Moos , Amir Moradi , Christof Paar

Electromagnetic Fault Injection (EMFI) is a powerful technique for inducing bit flips and instruction-level perturbations on microcontrollers, yet existing literature lacks a unified methodology for systematically mapping spatial…

密码学与安全 · 计算机科学 2025-12-11 Gandham Sai Santhosh , Siddhartha Sanjay Naik , Ritwik Badola , Chester Rebeiro

Power side-channel attacks are a very effective cryptanalysis technique that can infer secret keys of security ICs by monitoring the power consumption. Since the emergence of practical attacks in the late 90s, they have been a major threat…

密码学与安全 · 计算机科学 2016-05-04 Lu Zhang , Luis Vega , Michael Taylor

The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe operation, is therefore a major challenge. In order to enable…

软件工程 · 计算机科学 2021-06-08 Sebastian Reiter , Marc Zeller , Kai Hoefig , Alexander Viehl , Oliver Bringmann , Wolfgang Rosenstiel

Consumer and defense systems demanded design and manufacturing of electronics with increased performance, compared to their predecessors. As such systems became ubiquitous in a plethora of domains, their application surface increased, thus…

密码学与安全 · 计算机科学 2022-08-19 Abhijitt Dhavlle

Transient or permanent faults in hardware can render the output of Neural Networks (NN) incorrect without user-specific traces of the error, i.e. silent data errors (SDE). On the other hand, modern NNs also possess an inherent redundancy…

人工智能 · 计算机科学 2023-10-31 Ralf Graafe , Qutub Syed Sha , Florian Geissler , Michael Paulitsch

The global semiconductor supply chain involves design and fabrication at various locations, which leads to multiple security vulnerabilities, e.g., Hardware Trojan (HT) insertion. Although most HTs target digital circuits, HTs can be…

硬件体系结构 · 计算机科学 2023-10-09 Enahoro Oriero , Faiq Khalid , Syed Rafay Hasan

In this paper, we take a deep dive into microarchitectural security from a hardware designer's perspective by reviewing the existing approaches to detect hardware vulnerabilities during the design phase. We show that a protection gap…

Certification through auditing allows to ensure that critical embedded systems are secure. This entails reviewing their critical components and checking for dangerous execution paths. This latter task requires the use of specialized tools…

软件工程 · 计算机科学 2023-03-08 Guilhem Lacombe , David Feliot , Etienne Boespflug , Marie-Laure Potet

As machine learning (ML) has seen increasing adoption in safety-critical domains (e.g., autonomous vehicles), the reliability of ML systems has also grown in importance. While prior studies have proposed techniques to enable efficient…

分布式、并行与集群计算 · 计算机科学 2020-04-07 Zitao Chen , Niranjhana Narayanan , Bo Fang , Guanpeng Li , Karthik Pattabiraman , Nathan DeBardeleben

Growing code bases of modern applications have led to a steady increase in the number of vulnerabilities. Control-Flow Integrity (CFI) is one promising mitigation that is more and more widely deployed and prevents numerous exploits. CFI…

密码学与安全 · 计算机科学 2022-03-01 Claudio Canella , Sebastian Dorn , Daniel Gruss , Michael Schwarz

The enormous amount of code required to design modern hardware implementations often leads to critical vulnerabilities being overlooked. Especially vulnerabilities that compromise the confidentiality of sensitive data, such as cryptographic…

密码学与安全 · 计算机科学 2021-12-23 Lennart M. Reimann , Luca Hanel , Dominik Sisejkovic , Farhad Merchant , Rainer Leupers

Attacks based on side-channel analysis (SCA) pose a severe security threat to modern computing platforms, further exacerbated on IoT devices by their pervasiveness and handling of private and critical data. Designing SCA-resistant computing…

密码学与安全 · 计算机科学 2025-03-18 Davide Zoni , Andrea Galimberti , Davide Galli

Trusted execution environments (TEEs) provide an environment for running workloads in the cloud without having to trust cloud service providers, by offering additional hardware-assisted security guarantees. However, main memory encryption…

密码学与安全 · 计算机科学 2023-09-25 Jan Wichelmann , Anna Pätschke , Luca Wilke , Thomas Eisenbarth

Data-Flow Integrity (DFI) is a well-known approach to effectively detecting a wide range of software attacks. However, its real-world application has been quite limited so far because of the prohibitive performance overhead it incurs.…

硬件体系结构 · 计算机科学 2021-11-30 Lang Feng , Jiayi Huang , Jeff Huang , Jiang Hu

CFI is a computer security technique that detects runtime attacks by monitoring a program's branching behavior. This work presents a detailed analysis of the security policies enforced by 21 recent hardware-based CFI architectures. The goal…

密码学与安全 · 计算机科学 2017-08-01 Ruan de Clercq , Ingrid Verbauwhede