TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits Tony F

Total Page:16

File Type:pdf, Size:1020Kb

TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits Tony F TCAD-2015-0006 1 TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits Tony F. Wu, Student Member, Karthik Ganesan, Student Member, Yunqing Alexander Hu, Student Member, H.-S. Philip Wong, Fellow, Simon Wong, Fellow, Subhasish Mitra, Fellow Abstract— There are increasing concerns about possible we stop a hardware Trojan from being inserted. Part of the malicious modifications of integrated circuits (ICs) used in challenge in detecting or preventing hardware Trojans arises critical applications. Such attacks are often referred to as from the fact that the methods for inserting Trojan attacks are hardware Trojans. While many techniques focus on hardware numerous (e.g., [2][5] for a comprehensive list). Trojan detection during IC testing, it is still possible for attacks out to go undetected. Using a combination of new design techniques a) c) Vdd Vdd and new memory technologies, we present a new approach that + in detects a wide variety of hardware Trojans during IC testing and out Vdd/2 b) D Q also during system operation in the field. Our approach can also in prevent a wide variety of attacks during synthesis, clk 0 Vdd/2 Vdd place-and-route, and fabrication of ICs. It can be applied to any Fig. 1. Examples of hardware Trojans. a) Modification of functional behavior digital system, and can be tuned for both traditional and through logic changes; b) Electrical changes such as changing timing split-manufacturing methods. We demonstrate its applicability characteristics; c) Reliability changes such as accelerating aging with NBTI. for both ASICs and FPGAs. Using fabricated test chips with Trojan emulation capabilities and also using simulations, we Trojan insertion methods include (but are not limited to): demonstrate: 1. The area and power costs of our approach can • Modification of RTL or layout by malicious CAD tools range between 7.4-165% and 0.07-60%, respectively, depending without the designer’s knowledge [6]. on the design and the attacks targeted; 2. The speed impact can be minimal (close to 0%); 3. Our approach can detect 99.998% of • IC modification anytime between tapeout and fabrication, Trojans (emulated using test chips) that do not require detailed since it is possible to reverse engineer (complete or partial) knowledge of the design being attacked; 4. Our approach can netlists from layouts [7][8]. Such modifications may be prevent 99.98% of specific attacks (simulated) that utilize applied to all or a sample of fabricated ICs. IC modification detailed knowledge of the design being attacked (e.g., through can span a wide range from circuit modification to reverse-engineering). 5. Our approach never produces any false modification of the doping profile of a few transistors [9]. positives, i.e., it does not report attacks when the IC operates correctly. • Malicious reprogramming of systems implemented in reconfigurable platforms (such as FPGAs) with incorrect Index Terms — Hardware Security, Hardware Trojan, 3D functionality before startup or during field operation [10]. Integration, Resistive RAM, Concurrent Error Detection, • Leakage of information, e.g., through fluctuations in IC Randomized Codes, Split-manufacturing, Reliable Computing. power consumption [11]. I. INTRODUCTION Existing techniques for hardware Trojan detection exhibit HERE is growing concern about the trustworthiness of one or more of the following limitations (in-depth discussion T integrated circuits (ICs). If an untrusted party fabricates an in Section VII): IC, there is potential for an adversary to insert a malicious 1. Some techniques rely on IC testing for Trojan detection, hardware Trojan [1], an unauthorized modification of the IC which alone limits the scope of Trojans. For example, resulting in incorrect functionality and/or sensitive data being Trojans activated by a “time-bomb” [2][12] or accelerated exposed [2]. These include (but are not limited to) [3]: circuit aging [4] may not be detected. a) Modification of functional behavior through logic changes: 2. Nondestructive visual inspections can be circumvented by For example, extra logic gates may be inserted to force an carefully hiding Trojans [9]. For example, an adversary can incorrect logic value on a wire at some (arbitrary) point in change the doping profile of transistors. Without IC time (Fig. 1a) [2]. delayering, detection becomes increasingly difficult due to b) Electrical modification: For example, extra capacitive limited imaging depth, especially for 3D ICs [53]. loading may be placed on a circuit path to alter timing 3. Destructive IC testing is effective only when the percentage characteristics of the IC (Fig. 1b) [2]. of ICs attacked is high (e.g., many chips on a wafer must be c) Reliability degradation: For example, aging of transistors attacked), as shown in Section VII.A. (e.g., Negative Bias Temperature Instability (NBTI)) may 4. IC fingerprinting, such as circuit path delays, leakage be accelerated, degrading reliability (Fig. 1c) [4]. power, heat or switching activity, relies on statistical models A hardware Trojan is detected when we report malicious to distinguish between malicious activities vs. variability modifications to an IC. A hardware Trojan is prevented when during manufacturing or normal operation. This makes Manuscript received January 9, 2015; revised May 8, 2015; accepted July 20, sufficiently small Trojans undetectable [13]. Moreover, such 2015. Work supported by IARPA Trusted Integrated Chips (TIC) Program. techniques are prone to reporting false positives [90]. All authors are with Dept. of Electrical Engineering, Stanford University, 5. Error-detecting codes [16] can be compromised if the code Stanford, CA 94305 USA (e-mail: [email protected]). S. Mitra is also with Dept. of Computer Science, Stanford University. construction is known. TCAD-2015-0006 2 This paper presents a Trojan Prevention and Detection description of TPAD, experimental results from test chips, as (TPAD) architecture for digital systems. TPAD enables well as various implementation trade-offs with respect to area, test-time and runtime detection of Trojans inserted during power, and delay. The TPAD architecture is introduced in fabrication. TPAD prevents insertion of Trojans during Section II and Section III. Section IV presents an fabrication based on sophisticated reverse-engineering of the implementation of the TPAD architecture that can be used for design being fabricated. TPAD also prevents Trojan insertion any arbitrary digital system. For general processor designs, during logic synthesis and layout design. such as OpenRISC [39], the key results of TPAD are: In this paper, we assume that logic synthesis tools, physical 1. Area overheads range from 114% to 165% with 34% to design tools, as well as IC fabrication are untrusted, meaning 61% power overheads. CAD tools and/or foundries can insert Trojans (Fig. 2a). 2. Near 0% speed impact can be achieved (through additional However, we do require the RTL or system specification as pipelining in the TPAD architecture). well as system assembly to be trusted, meaning that an 3. The corresponding detection rate for uninformed attacks adversary cannot insert a Trojan during these stages. (attacks that do not require detailed knowledge of the a) design before inserting a Trojan) ranges from 87.5%-99.6%. Pre-tapeout b) System Inputs System Outputs RTL Trusted Data 4. TPAD prevents sophisticated attacks requiring some Synthesis Chip 1 Chip 2 Chip n Trojans can detailed knowledge of the implemented design (launched by P&R be inserted System Fabrication Trojans can CAD tools or foundries) with a rate ranging from 96.2% to Combinational activate Assembly Primary Logic Primary 99.98% (Section III). Post-Manufacture Test Inputs k bits Outputs Flip-flops In Section IV.C, we also demonstrate TPAD for fabricated Field Operation Post-tapeout Vulnerable to Trojans FPGA test chips. Section V presents TPAD implementations Fig. 2. a) Assumptions on when Trojans can be inserted or activated. b) Assumptions on vulnerable system and chip components. for specialized (accelerator) designs, such as a Lempel-Ziv (LZ77) data compressor test chip [45] and a Fast Fourier The following are some of the important TPAD features: Transform (FFT) engine [41]. For such accelerators, the key 1. TPAD detects hardware Trojans that produce incorrect results are: Boolean logic value(s) that propagate to sequential elements 1. TPAD area overheads can be 7.4%. (flip-flops, latches), on-chip memories, or I/O pins. 2. TPAD detects 99.998% of uninformed attacks. 2. TPAD has a 0% false positive rate, i.e., it does not report We further show that for LZ77 data compression, Trojan detection when the IC operates correctly. performance metrics such as compression ratio (CR) can be 3. TPAD can be used for Trojan detection concurrently during traded off for area overhead with no impact on Trojan post-manufacture IC testing and also during field operation detection and prevention. (concurrently during system operation or through periodic In Section VI, we discuss how to TPAD can be used to testing). As a result, Trojans triggered by rare events such as prevent logic synthesis and physical design tools from time bomb attacks can be detected. If used in conjunction inserting Trojans. Section VII compares and contrasts existing with system-level recovery techniques (such as those used Trojan detection and prevention approaches vs. TPAD. for fault-tolerant computing), it may be possible to recover Section VIII concludes the paper. from many attacks (Appendix B). Since TPAD significantly Appendix A presents a detailed discussion of various attack improves the observability of signals inside an IC, test-time types. Appendix B discusses possible approaches to recover Trojan detection is expected to be significantly enhanced from Trojans. compared to traditional functional testing. II. SYSTEM ARCHITECTURE OVERVIEW 4. The hardware overhead associated with TPAD is flexible, TPAD is derived from the concept of Concurrent Error and can be adjusted based on targeted attack models and Detection (CED) [19] for fault-tolerant computing. The implemented functionality. “classical” CED approach is illustrated in Fig 3a: given a 5.
Recommended publications
  • Detecting Hardware Trojans Inserted by Untrusted Foundry Using Physical Inspection and Advanced Image Processing
    Noname manuscript No. (will be inserted by the editor) Detecting Hardware Trojans Inserted by Untrusted Foundry using Physical Inspection and Advanced Image Processing Nidish Vashistha · M Tanjidur Rahman · Haoting Shen · Damon L Woodard · Navid Asadizanjani · Mark Tehranipoor Received: date / Accepted: date Abstract Hardware Trojans are malicious changes to Trojan. Here, we are only concerned with untrusted the design of integrated circuits (ICs) at different stages foundry problem, where it is assumed the end-user has of the design and fabrication process. Different approac- access to a golden layout/image of the IC. This is a hes have been developed to detect Trojans namely: non- common threat model for those organizations that fully destructive (electrical tests like run-time monitoring, design their IC but need access to untrusted foundry functional and structural tests) and destructive testing for fabrication. SEM image from a backside thinned (full chip reverse engineering). However, none of the golden IC is compared with a low-quality SEM image of previously developed methods can be used to detect all an IC under authentication (IUA). We perform image types of Trojans and they all suffer from a number of dis- processing to both golden IC & IUA images to remove advantages such as low speed of detection, low accuracy, noise. We develop a computer vision based algorithm low confidence level and poor coverage of Trojan types. to detect hardware Trojans based on their structural Based on our literature survey of Trojan benchmarks, similarity. The results demonstrate that our technique majority of the hardware Trojans implemented in an IC is quite effective at detecting Trojans and significantly will leave a footprint at the active layer.
    [Show full text]
  • Leveraging Logic Masking to Facilitate Hardware Trojan Detection Methods Arash Nejat
    Leveraging Logic Masking to Facilitate Hardware Trojan Detection Methods Arash Nejat To cite this version: Arash Nejat. Leveraging Logic Masking to Facilitate Hardware Trojan Detection Methods. Mi- cro and nanotechnologies/Microelectronics. Université Grenoble Alpes, 2019. English. NNT : 2019GREAT004. tel-03132626 HAL Id: tel-03132626 https://tel.archives-ouvertes.fr/tel-03132626 Submitted on 5 Feb 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. THÈSE Pour obtenir le grade de DOCTEUR DE LA COMMUNAUTÉ UNIVERSITÉ GRENOBLE ALPES Spécialité : NANO ELECTRONIQUE ET NANO TECHNOLOGIES Arrêté ministériel : 25 mai 2016 Présentée par Arash NEJAT Thèse dirigée par Vincent BEROULLE , Enseignant-chercheur, Grenoble INP et codirigée par David HELY, Maitre de Conférence, Grenoble INP préparée au sein du Laboratoire Laboratoire de conception et d'intégration des systèmes dans l'École Doctorale Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) Tirer parti du masquage logique pour faciliter les méthodes de détection des chevaux de Troie
    [Show full text]
  • Hardware Trojans – Prevention, Detection, Countermeasures (A Literature Review)
    UNCLASSIFIED Hardware Trojans – Prevention, Detection, Countermeasures (A Literature Review) Mark Beaumont, Bradley Hopkins and Tristan Newby Command, Control, Communications and Intelligence Division Defence Science and Technology Organisation DSTO–TN–1012 ABSTRACT A Hardware Trojan is a malicious, undesired, intentional modification of an electronic circuit or design, resulting in the incorrect behaviour of an electronic device when in operation – a back-door that can be inserted into hardware. A Hardware Trojan may be able to defeat any and all security mechanisms (software or hardware-based) and subvert or augment the normal operation of an infected device. This may result in modifications to the functionality or specification of the hardware, the leaking of sensitive information, or a Denial of Service (DoS) attack. Understanding Hardware Trojans is vital when developing next generation de- fensive mechanisms for the development and deployment of electronics in the presence of the Hardware Trojan threat. Research over the past five years has primarily focussed on detecting the presence of Hardware Trojans in infected devices. This report reviews the state-of-the-art in Hardware Trojans, from the threats they pose through to modern prevention, detection and countermeasure techniques. APPROVED FOR PUBLIC RELEASE UNCLASSIFIED DSTO–TN–1012 UNCLASSIFIED Published by DSTO Defence Science and Technology Organisation PO Box 1500 Edinburgh, South Australia 5111, Australia Telephone: (08) 7389 5555 Facsimile: (08) 7389 6567 c Commonwealth of Australia 2011 AR No. 015-008 July, 2011 APPROVED FOR PUBLIC RELEASE ii UNCLASSIFIED UNCLASSIFIED DSTO–TN–1012 Hardware Trojans – Prevention, Detection, Countermeasures (A Literature Review) Executive Summary Electronic systems have proliferated over the past few decades to the point that most aspects of daily life are aided or affected by the automation, control, monitoring, or com- putational power provided by Integrated Circuits (ICs).
    [Show full text]
  • Hardware Security and VLSI Design Optimization
    Wright State University CORE Scholar Browse all Theses and Dissertations Theses and Dissertations 2018 Hardware Security and VLSI Design Optimization Hao Xue Wright State University Follow this and additional works at: https://corescholar.libraries.wright.edu/etd_all Part of the Engineering Commons Repository Citation Xue, Hao, "Hardware Security and VLSI Design Optimization" (2018). Browse all Theses and Dissertations. 2206. https://corescholar.libraries.wright.edu/etd_all/2206 This Dissertation is brought to you for free and open access by the Theses and Dissertations at CORE Scholar. It has been accepted for inclusion in Browse all Theses and Dissertations by an authorized administrator of CORE Scholar. For more information, please contact [email protected]. HARDWARE SECURITY AND VLSI DESIGN OPTIMIZATION A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy By HAO XUE M.S.Eg., Wright State University, USA, 2013 B.S., Taiyuan University of Technology, China, 2010 2018 Wright State University WRIGHT STATE UNIVERSITY GRADUATE SCHOOL December 4, 2018 I HEREBY RECOMMEND THAT THE DISSERTATION PREPARED UNDER MY SUPERVISION BY Hao Xue ENTITLED Hardware Security and VLSI Design Optimization BE ACCEPTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Doctor of Philosophy. ___________________________ Saiyu Ren, Ph.D. Dissertation Director ___________________________ Arnab K. Shaw, Ph.D. Director, Electrical Engineering Ph.D. Program ___________________________ Barry Milligan, Ph.D. Interim Dean of the Graduate School Committee on Final Examination ___________________________ Saiyu Ren, Ph.D. ___________________________ Ray Siferd, Ph.D. ___________________________ Marty Emmert, Ph.D. ___________________________ Marian Kazimierczuk, Ph.D. ___________________________ Yan Zhuang, Ph.D.
    [Show full text]
  • IEEE Paper Template in A4
    INTERNATIONAL JOURNAL OF SCIENTIFIC & TECHNOLOGY RESEARCH VOLUME 9, ISSUE 06, JUNE 2020 ISSN 2277-8616 Reduction Of Hardware Trojan Effect Using Multipath Authentication P. Bosebabu, K. Siva Nagaraju, B. Chanikya, P. Ritish Kumar Abstract: with increase of Integrated Circuit (IC) manufacturing foundries and fabrication units, security of an IC gains its importance. The manufacturing of IC is having many stages like designing, assembling, packaging, etc. Hardware Trojans can be implantable at any of these stages by the foundries or third-party vendors. Hardware Trojan is a malicious, undesired, intentional, modification of an electronic circuit or design, resulting leakage of data or incorrect behaviour of an electronic device. The Cryptographic algorithms play an important role in information security and protection of data from unauthorised usage. The proposed AES crypto processor model is having a authentication monitoring which will detect hardware Trojan triggering, alerts the user and takes necessary actions for retrieving original data. With help of proposed system, the reduction of effect of hardware Trojan can be achievable. Keywords: Hardware Trojan, Cryptography, IC security, AES. ———————————————————— 1. INTRODUCTION 2. RELATED WORK In recent years, the usage of semiconductor devices has rapidly increased. Integrated Circuit (IC) has become the A. Hardware Trojan foremost part of every stream like military, government, Hardware Trojan consist of two parts, trigger and payload. commercialization, etc. Chip manufacturing cycle involves Trigger is an activation condition or event that triggers the Specification, Architectural design, Functional and Logical payload in active state. Payload is an activity that executed design, Circuit design, Physical design, Fabrication, Packaging whenever Trojan is activated or triggered.
    [Show full text]
  • Trojans in Early Design Steps—An Emerging Threat
    Trojans in Early Design Steps—An Emerging Threat Ilia Polian∗, Georg T. Beckery, and Francesco Regazzoniz ∗Universitat¨ Passau, Germany yHorst Gortz¨ Institute for IT Security, Ruhr-Universitat¨ Bochum, Germany zALARI, University of Lugano, Switzerland Abstract—Hardware Trojans inserted by malicious foundries II. BACKGROUND during integrated circuit manufacturing have received substantial attention in recent years. In this paper, we focus on a different The term “hardware Trojans” historically referred to threats type of hardware Trojan threats: attacks in the early steps of associated with outsourcing of advanced semiconductor man- design process. We show that third-party intellectual property ufacturing into potentially untrustworthy countries [1]. The cores and CAD tools constitute realistic attack surfaces and that foundry would receive circuit layout information (in GDS II even system specification can be targeted by adversaries. We or a similar format) and, possibly, further design data, in order discuss the devastating damage potential of such attacks, the to produce masks and manufacture the circuit. The alleged applicable countermeasures against them and their deficiencies. threat consists in an intentional—and malicious—modification I. INTRODUCTION of the circuit by the foundry before manufacturing, such that the fabricated chip has critical deviations from its layout as Historically, IT security concentrated on attack scenarios provided by its author. targeting software and communication networks, but more recently, the system hardware moved into the focus of attack- However, the modern understanding of hardware Trojans ers. Hardware-related threats are relevant even for extremely includes all malicious modifications of a circuit during its cre- software-dominated systems, which still contain some amount ation: by an untrusted foundry (as discussed above), but also by of hardware on which the software runs; compromising this rogue in-house designers, by third-party intellectual-property hardware makes the entire system vulnerable.
    [Show full text]
  • Design and Validation for Fpga Trust Under Hardware Trojan Attacks 3
    1 186 186 186 IEEEIEEE TRANSACTIONS TRANSACTIONS ON MULTI-SCALE ON MULTI-SCALEIEEE COMPUTING TRANSACTIONS COMPUTING SYSTEMS, SYSTEMS, ON MULTI-SCALE VOL. VOL. 2, NO. 2, COMPUTING 3,NO. JULY-SEPTEMBER 3, JULY-SEPTEMBER SYSTEMS, 2016 VOL. 2016 2, NO. 3, JULY-SEPTEMBER 2016 DesignDesign andDesign and ValidationDesign Validation and and Validation for for Validation FPGA FPGA for Trust Trust for FPGA FPGA Trust Trust under underunder Hardware HardwareunderHardware Trojan Trojan Hardware Attacks Attacks Trojan Trojan Attacks Attacks Sanchita Mal-Sarkar, Member, IEEE, Robert Karam, Student Member, IEEE, SanchitaSanchita Mal-Sarkar, Mal-Sarkar,Member,Member,SeetharamSanchita IEEE IEEE Mal-Sarkar,, Robert Narasimhan,, Robert Karam, Karam,Member,Member,StudentStudent IEEE IEEEMember,, RobertMember,, Anandaroop IEEE Karam, IEEE, ,Student Ghosh, Member, Aswin Krishna, IEEE, SeetharamSeetharam Narasimhan, Narasimhan,Member,SeetharamMember, IEEEand IEEE Narasimhan,, Swarup Anandaroop, Anandaroop Bhunia,Member, Ghosh, Ghosh,Senior IEEE Member,, Anandaroop IEEE Ghosh, AswinAswin Krishna, Krishna,StudentStudent Member,Aswin Member, Krishna, IEEE IEEE, and,Student and Swarup Swarup Member, Bhunia, Bhunia, IEEESeniorSenior, and Member, Member,Swarup IEEE Bhunia, IEEE Senior Member, IEEE Abstract—Field programmable gate arrays (FPGAs) are being increasingly used in a wide range of critical applications, including industrial, automotive, medical, and military systems. Since FPGA vendors are typically fabless, it is more economical to outsource Abstract—Abstract—FieldField programmable programmable gate gateAbstract— arrays arrays (FPGAs) (FPGAs)Field areprogrammable beingare being increasingly increasingly gate arrays used used (FPGAs) in a inwide a wide are range being range of critical increasingly of critical applications, applications, used in including a wide including range of critical applications, including device production to off-shore facilities.
    [Show full text]
  • Hardware Trojan Detection Solutions and Design-For-Trust Challenges
    RESEARCH FEATURE Hardware Trojan Detection Solutions and Design-for-Trust Challenges Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang, and Xiaoxiao Wang University of Connecticut Ramesh Karri, Jeyavijayan Rajendran, and Kurt Rosenfeld Polytechnic Institute of New York University Globalization of the semiconductor industry and evolving fabrication processes have made integrated circuits increasingly vulnerable to Trojans. Researchers must expand efforts to verify trust in intellectual property cores and ICs. ulnerabilities in the current integrated circuit (IC) a trusted design center and foundry, it is expensive and development process have raised serious concerns economically infeasible given current trends in the glo- about possible threats from hardware Trojans balization of IC design and fabrication. On the other hand, to military, financial, transportation, and other verifying trustworthiness requires a postmanufacturing V 1-4 critical systems. An adversary can introduce a Trojan step to validate conformance of the fabricated IC to the through an IC that will disable or destroy a system at some original functional and performance specifications. specific future time. Alternatively, an attacker can design a wire or some other IC component to survive the testing HARDWARE TROJANS phase but fail before the expected lifetime. A hardware A system-on-chip (SoC) design can contain several lay- Trojan can also covertly cause a system to leak confiden- ered and interconnecting functional components, including tial information or secret keys.
    [Show full text]
  • Interdiction in Practice – Hardware Trojan Against a High-Security USB Flash Drive
    Interdiction in Practice { Hardware Trojan Against a High-Security USB Flash Drive Pawel Swierczynski1, Marc Fyrbiak1, Philipp Koppe1, Amir Moradi1, Christof Paar1,2 IEEE Fellow Abstract As part of the revelations about the NSA Keywords hardware Trojan, · real world attack, · activities, the notion of interdiction has become known FPGA security, · AES to the public: the interception of deliveries to manipu- late hardware in a way that backdoors are introduced. Manipulations can occur on the firmware or at hard- 1 Introduction ware level. With respect to hardware, FPGAs are par- ticular interesting targets as they can be altered by In this section we provide an overview of our research manipulating the corresponding bitstream which con- and related previous works in the area of hardware Tro- figures the device. In this paper, we demonstrate the jans and Field Programmable Gate Array (FPGA) se- first successful real-world FPGA hardware Trojan in- curity. sertion into a commercial product. On the target de- vice, a FIPS-140-2 level 2 certified USB flash drive from Kingston, the user data is encrypted using AES-256 in 1.1 Motivation XTS mode, and the encryption/decryption is processed by an off-the-shelf SRAM-based FPGA. Our investiga- As a part of the revelations by Edward Snowden, it be- tion required two reverse-engineering steps, related to came known that the National Security Agency (NSA) the proprietary FPGA bitstream and to the firmware allegedly intercepts communication equipment during of the underlying ARM CPU. In our Trojan insertion shipment in order to install backdoors [28]. For instance, scenario the targeted USB flash drive is intercepted be- Glenn Greenwald claims that firmware modifications fore being delivered to the victim.
    [Show full text]
  • Hardware Security and Trust: a New Battlefield of Information
    Hardware Security and Trust: A New Battlefield of Information Gang Qu University of Maryland, College Park, MD 20742, USA [email protected] Abstract. Hardware security and trust has received a lot of attention in the past 25 years. The purpose of this paper is to introduce the fundamental problems related to hardware security and trust to audiences who do not necessarily have hardware design background. In order to do that, we first discuss the evolving roles of hardware in security from an enable to an enhancer and now an enforcer as it get involves more and more in system security. Then we review the following key problems in hardware security, physical attacks, side channel analysis, intellectual property protection, hardware Trojan, hardware security primitives, and applications in security and trust. We provide a novel view of these problems and the corresponding solutions from the perspective of information battle between the attackers and designers, where we consider three types of information: data collected, processed, and stored by the hardware; information hidden in the design as watermark, fingerprint, and Trojans; and the chip fabrication variations that can be extracted and utilized. It is interesting to see how the hardware security and trust problems can be unified under this framework of information battle (stealing and protection). Unfortunately, there are more unknowns and challenges than what we have discovered on this framework as we illustrated in the section of open problems. However, the emerging Internet of Things and cyber physical systems have provided a large application field for researchers and practitioners to work on hardware based lightweight security.
    [Show full text]
  • 6 Hardware Trojans: Lessons Learned After One Decade of Research
    Hardware Trojans: Lessons Learned after One Decade of Research K. XIAO, ECE Department, University of Connecticut D. FORTE, ECE Department, University of Florida Y. J I N , EECS Department, University of Central Florida R. KARRI, ECE Department, Polytechnic Institute of New York University S. BHUNIA and M. TEHRANIPOOR, ECE Department, University of Florida Given the increasing complexity of modern electronics and the cost of fabrication, entities from around the globe have become more heavily involved in all phases of the electronics supply chain. In this environment, hardware Trojans (i.e., malicious modifications or inclusions made by untrusted third parties) pose major security concerns, especially for those integrated circuits (ICs) and systems used in critical applications and cyber infrastructure. While hardware Trojans have been explored significantly in academia over the last decade, there remains room for improvement. In this article, we examine the research on hardware Trojans from the last decade and attempt to capture the lessons learned. A comprehensive adversarial model taxonomy is introduced and used to examine the current state of the art. Then the past countermeasures and publication trends are categorized based on the adversarial model and topic. Through this analysis, we identify what has been covered and the important problems that are underinvestigated. We also identify the most critical lessonsr for those new to the field and suggest a roadmap for future hardware Trojan research. CCS Concepts: Hardware → Safety critical systems Additional Key Words and Phrases: Hardware security and trust, hardware Trojan attacks, countermea- sures, attack model ACM Reference Format: K. Xiao, D. Forte, Y. Jin, R.
    [Show full text]
  • Hardware Trojan Identification and Detection
    International Journal on Cryptography and Information Security (IJCIS), Vol. 7, No. 2, June 2017 HARDWARE TROJAN IDENTIFICATION AND DETECTION Samer Moein 1, Fayez Gebali 1, T. Aaron Gulliver 1, And Abdulrahman Alkandari 2 1Department of Electrical and Computer Engineering, University of Victoria, Victoria, BC, Canada 2Department of Computer Science, Public Authority for Applied Education and Training, Kuwait City, Kuwait ABSTRACT The majority of techniques developed to detect hardware trojans are based on specific attributes. Further, the ad hoc approaches employed to design methods for trojan detection are largely ineffective. Hardware trojans have a number of attributes which can be used to systematically develop detection techniques. Based on this concept, a detailed examination of current trojan detection techniques and the characteristics of existing hardware trojans is presented. This is used to develop a new approach to hardware trojan identification and classification. This identification can be used to compare trojan risk or severity and trojan detection effectiveness. Identification vectors are generated for each hardware trojan and trojan detection technique based on the corresponding attributes. Vectors are also defined which represent trojan risk or severity and trojan detection effectiveness. KEYWORDS Hardware trojan detection, hardware trojan identification, trojan severity, trojan risk, trojan detection effectiveness 1. INTRODUCTION With the increasing globalization of Integrated Circuit (IC) design and production, hardware trojans have become a serious threat to manufacturers as well as consumers. The use of ICs in critical applications makes the effects of these trojans a very dangerous problem. Unfortunately, the use of untrusted foundries and design tools cannot be eliminated since the complexity of ICs and the sophistication of their manufacture has grown significantly.
    [Show full text]