NDLI: VeriTrust: Verification for hardware trust

Content Provider	IEEE Xplore Digital Library
Author	Jie Zhang Feng Yuan Lingxiao Wei Zelong Sun Qiang Xu
Copyright Year	2013
Description	Author affiliation: Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Shatin, China (Jie Zhang; Feng Yuan; Lingxiao Wei; Zelong Sun; Qiang Xu)
Abstract	Hardware Trojans (HTs) implemented by adversaries serve as backdoors to subvert or augment the normal operation of infected devices, which may lead to functionality changes, sensitive information leakages, or Denial of Service attacks. To tackle such threats, this paper proposes a novel verification technique for hardware trust, namely VeriTrust, which facilitates to detect HTs inserted at design stage. Based on the observation that HTs are usually activated by dedicated trigger inputs that are not sensitized with verification test cases, VeriTrust automatically identifies such potential HT trigger inputs by examining verification corners. The key difference between VeriTrust and existing HT detection techniques is that VeriTrust is insensitive to the implementation style of HTs. Experimental results show that VeriTrust is able to detect all HTs evaluated in this paper (constructed based on various HT design methodologies shown in the literature) at the cost of moderate extra verification time, which is not possible with existing solutions.
Starting Page	1
Ending Page	8
File Size	435989
Page Count	8
File Format	PDF
ISBN	9781450320719
ISSN	0738100X
DOI	10.1145/2463209.2488808
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-05-29
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Association for Computing Machinery, Inc. (ACM)
Subject Keyword	Hardware Measurement Detection algorithms Integrated circuit modeling Payloads Runtime
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

VeriTrust: Verification for Hardware Trust

VeriTrust: verification for hardware trust

Applying chaos theory for runtime Hardware Trojan detection

Equivalence checking of nonlinear analog circuits for hierarchical AMS System Verification

Electromagnetic circuit fingerprints for Hardware Trojan detection

Veritrust: verification for hardware trust.

A Unified Framework for Multimodal Submodular Integrated Circuits Trojan Detection

Technologies for hardware simulation and verification

FASTrust: Feature analysis for third-party IP trust verification

VeriTrust: Verification for hardware trust

Similar Documents

VeriTrust: Verification for Hardware Trust

VeriTrust: verification for hardware trust

Applying chaos theory for runtime Hardware Trojan detection

Equivalence checking of nonlinear analog circuits for hierarchical AMS System Verification

Electromagnetic circuit fingerprints for Hardware Trojan detection

Veritrust: verification for hardware trust.

A Unified Framework for Multimodal Submodular Integrated Circuits Trojan Detection

Technologies for hardware simulation and verification

FASTrust: Feature analysis for third-party IP trust verification

VeriTrust: Verification for hardware trust