More Web Proxy on the site http://driver.im/

research-article

Exploiting heterogeneity in MPSoCs to prevent potential trojan propagation across malicious IPs

Authors:

Chengmo YangAuthors Info & Claims

GLSVLSI '14: Proceedings of the 24th edition of the great lakes symposium on VLSI

Pages 335 - 340

https://doi.org/10.1145/2591513.2591595

Published: 20 May 2014 Publication History

Abstract

Multiprocessor System-on-Chip (MPSoC) platforms face some of the most demanding security concerns, as they process, store, and communicate sensitive information using third-party intellectual property (3PIP) cores. The trend of outsourcing design and fabrication strongly questions the assumption of 3PIP components being trustworthy. While existing research focuses on addressing hardware trojans in individual IPs, this paper improves MPSoC security from another perspective. Specifically, our goal is to prevent trojans in malicious IPs from triggering each other and leading to severe system-wide degradation in security and reliability. We propose to impose trojan isolation constraints during static task scheduling, ensuring that all legal communications on the target MPSoC are between IPs of different types. This in turn enables the runtime system to monitor and detect undesired communication paths, if any. We furthermore pose the security-constrained MPSoC task scheduling as a multi-dimensional optimization problem, and solve it through Integer Linear Programming (ILP), thus minimizing the associated performance, power, and hardware overhead. The results show that trojan isolation can be achieved within one extra vendor and nearly no performance overhead.

References

[1]

X. Wang, M. Tehranipoor, and J. Plusquellic, "Detecting malicious inclusions in secure hardware: Challenges and Solutions," in 1st Intl. Symp. Hardware-Oriented Security and Trust (HOST), pp. 15--19, Jun. 2008.

Digital Library

[2]

C. Yang and A. Orailoglu, "A light-weight cache-based fault detection and checkpointing scheme for MPSoCs enabling relaxed execution synchronization," in Intl. Conf. Compilers, Archit. & Synthesis for Embedded Syst. (CASES), pp. 11--20, Oct. 2008.

Digital Library

[3]

S. Shamshiri, P. Lisherness, S. Pan, and K. Cheng, "A Cost Analysis Framework for Multi-core Systems with Spares," in Intl. Test Conf. (ITC), pp. 1--8, Oct. 2008.

[4]

S. Bhunia, M. Abramovici, D. Agarwal, P. Bradley, M. S. Hsiao, J. Plusquellic, and M. Tehranipoor, "Protection against Hardware Trojan Attacks: Towards a Comprehensive Solution," IEEE Des. & Test., vol. 30, pp. 6--17, Mar. 2013.

[5]

A. Waksman and S. Sethumadhavan, "Tamper Evident Microprocessors," in 31st Intl. Symp. Security & Privacy (SP), pp. 173--188, May 2010.

Digital Library

[6]

C. Sturton, M. Hicks, D. Wagner, and S. T. King, "Defeating UCI: Building Stealthy and Malicious Hardware," in 32st Intl. Symp. Security & Privacy (SP), pp. 64--77, May 2011.

Digital Library

[7]

M. Tehranipoor and F. Koushanfar, "A Survey of Hardware Trojan Taxonomy and Detection," IEEE Des. & Test. Comput., vol. 27, no. 1, pp. 10--25, 2010.

Digital Library

[8]

M. Banga and M. S. Hsiao, "A Novel Sustained Vector Technique for the Detection of Hardware Trojans," in 22nd Intl. Conf. VLSI Design, pp. 327--332, Jan. 2009.

Digital Library

[9]

Y. L. Gwon, H. T. Kung, and D. Vlah, "DISTROY: Detecting Integrated Circuit Trojans with Compressive Measurements," in 20th USENIX Workshop on Hot Topics in Security (HotSec), pp. 47--50, 2011.

Digital Library

[10]

D. Agrawal, S. Baktir, D. Karakoyunlu, P. Rohatgi, and B. Sunar, "Trojan Detection using IC Fingerprinting," in 29th Intl. Symp. Security & Privacy (SP), pp. 296--310, May 2008.

Digital Library

[11]

Y. Jin and Y. Makris, "Hardware Trojan detection using path delay fingerprint," in 1st Intl. Workshop Hardware-Oriented Security and Trust (HOST), pp. 51--57, Jun. 2008.

Digital Library

[12]

S. Narasimhan, D. Du, R. S. Chakraborty, S. Paul, F. Wolff, C. Papachristou, K. Roy, and S. Bhunia, "Multiple-parameter side-channel analysis: A non-invasive hardware Trojan detection approach," in 3rd Intl. Symp. Hardware-Oriented Security and Trust (HOST), pp. 13--18, Jun. 2010.

[13]

F. Koushanfar and A. Mirhoseini, "A Unified Framework for Multimodal Submodular Integrated Circuits Trojan Detection," IEEE Trans. Information Forensics and Security, vol. 6, pp. 162--174, Mar. 2011.

Digital Library

[14]

M. Potkonjak, A. Nahapetian, M. Nelson, and T. Massey, "Hardware Trojan horse detection using gate-level characterization," in 46th Design Autom. Conf. (DAC), pp. 688--693, Jul. 2009.

Digital Library

[15]

M. Beaumont, B. Hopkins, and T. Newby, "SAFER PATH: Security architecture using fragmented execution and replication for protection against trojaned hardware," in Design Autom. & Test in Europe (DATE), pp. 1000--1005, Mar. 2012.

Digital Library

[16]

A. Waksman and S. Sethumadhavan, "Silencing Hardware Backdoors," in 32nd Intl. Symp. Security & Privacy (SP), pp. 49--63, May 2011.

Digital Library

[17]

E. Love, Y. Jin, and Y. Makris, "Proof-Carrying Hardware Intellectual Property: A Pathway to Trusted Module Acquisition," IEEE Trans. Information Forensics and Security, vol. 7, pp. 25--40, Feb. 2012.

Digital Library

[18]

C. Yang and A. Orailoglu, "Predictable execution adaptivity through embedding dynamic reconfigurability into static MPSoC schedules," in 5th Intl. Conf. HW/SW Codesign & Syst. Synthesis (CODES-ISSS), pp. 15--20, 2007.

Digital Library

[19]

A. Schranzhofer, J. J. Chen, and L. Thiele, "Dynamic Power-Aware Mapping of Applications onto Heterogeneous MPSoC Platforms," IEEE Trans. Industrial Informatics, vol. 6, pp. 692--707, Aug. 2010.

[20]

D. Brelaz, "New methods to color the vertices of a graph," Comm. of the ACM, vol. 22, pp. 251--256, Apr. 1979.

Digital Library

[21]

D. E. Culler, J. P. Singh, and A. Gupta, Parallel Computer Architecture: A Hardware/Software Approach. Morgan Kaufmann, 1999.

Digital Library

[22]

"Lindo software, lingo," http://www.lindo.com.

[23]

R. P. Dick, "Embedded System Synthesis Benchmarks Suite," ziyang.eecs.umich.edu/dickrp/e3s.

[24]

R. P. Dick, D. L. Rhodes, and W. Wolf, "TGFF: Task graphs for free," in Workshop on Hardware/Software Codesign, pp. 97--101, Mar. 1998.

Digital Library

Cited By

Liu CCronin PYang C(2020)Securing Cyber-Physical Systems from Hardware Trojan CollusionIEEE Transactions on Emerging Topics in Computing10.1109/TETC.2017.27876948:3(655-667)Online publication date: 1-Jul-2020
https://doi.org/10.1109/TETC.2017.2787694
Liu CCronin PYang C(2016)A mutual auditing framework to protect IoT against hardware Trojans2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)10.1109/ASPDAC.2016.7427991(69-74)Online publication date: Jan-2016
https://doi.org/10.1109/ASPDAC.2016.7427991
Liu CRajendran JYang CKarri R(2014)Shielding Heterogeneous MPSoCs From Untrustworthy 3PIPs Through Security- Driven Task SchedulingIEEE Transactions on Emerging Topics in Computing10.1109/TETC.2014.23481822:4(461-472)Online publication date: Dec-2014
https://doi.org/10.1109/TETC.2014.2348182

Index Terms

Exploiting heterogeneity in MPSoCs to prevent potential trojan propagation across malicious IPs
1. Security and privacy
  1. Security in hardware

Recommendations

Hardware Trojan Protection for Third Party IPs
DSD '13: Proceedings of the 2013 Euromicro Conference on Digital System Design

Hardware Trojan detection is a very important topic especially as parts of critical systems which are designed and/or manufactured by untrusted third parties. Most of the current research concentrates on detecting Trojans at the testing phase by ...
Packet Leak Detection on Hardware-Trojan Infected NoCs for MPSoC Systems
ICCSP '17: Proceedings of the 2017 International Conference on Cryptography, Security and Privacy

Packet leak on network-on-chip (NoC) is one of the key security concerns in the MPSoC design, where the NoC of the system can come from a third-party vendor and can be illegitimately implanted with hardware trojans. Those trojans are usually small so ...
Security against hardware Trojan through a novel application of design obfuscation
ICCAD '09: Proceedings of the 2009 International Conference on Computer-Aided Design

Malicious hardware Trojan circuitry inserted in safety-critical applications is a major threat to national security. In this work, we propose a novel application of a key-based obfuscation technique to achieve security against hardware Trojans. The ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

GLSVLSI '14: Proceedings of the 24th edition of the great lakes symposium on VLSI

May 2014

376 pages

ISBN:9781450328166

DOI:10.1145/2591513

General Chairs:
Joseph R. Cavallaro
Rice University, USA
,
Tong Zhang
Rensselaer Polytechnic Inst., USA
,
Program Chairs:
Alex K. Jones
University of Pittsburgh, USA
,
Hai (Helen) Li
University of Pittsburgh, USA

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE CEDA
IEEE CASS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 May 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

GLSVLSI '14

Sponsor:

SIGDA

GLSVLSI '14: Great Lakes Symposium on VLSI 2014

May 21 - 23, 2014

Texas, Houston, USA

Acceptance Rates

GLSVLSI '14 Paper Acceptance Rate 49 of 179 submissions, 27%;

Overall Acceptance Rate 312 of 1,156 submissions, 27%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
178
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)1

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Liu CCronin PYang C(2020)Securing Cyber-Physical Systems from Hardware Trojan CollusionIEEE Transactions on Emerging Topics in Computing10.1109/TETC.2017.27876948:3(655-667)Online publication date: 1-Jul-2020
https://doi.org/10.1109/TETC.2017.2787694
Liu CCronin PYang C(2016)A mutual auditing framework to protect IoT against hardware Trojans2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)10.1109/ASPDAC.2016.7427991(69-74)Online publication date: Jan-2016
https://doi.org/10.1109/ASPDAC.2016.7427991
Liu CRajendran JYang CKarri R(2014)Shielding Heterogeneous MPSoCs From Untrustworthy 3PIPs Through Security- Driven Task SchedulingIEEE Transactions on Emerging Topics in Computing10.1109/TETC.2014.23481822:4(461-472)Online publication date: Dec-2014
https://doi.org/10.1109/TETC.2014.2348182

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents