Network-on-chip firewall: Countering defective and malicious system-on-chip hardware

Michael LeMay, Carl A. Gunter

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Mobile devices are in roles where the integrity and confidentiality of their apps and data are of paramount importance. They usually contain a System-on-Chip (SoC), which integrates microprocessors and peripheral Intellectual Property (IP) connected by a Network-on-Chip (NoC). Malicious IP or software could compromise critical data. Some types of attacks can be blocked by controlling data transfers on the NoC using Memory Management Units (MMUs) and other access control mechanisms. However, commodity processors do not provide strong assurances regarding the correctness of such mechanisms, and it is challenging to verify that all access control mechanisms in the system are correctly configured. We propose a NoC Firewall (NoCF) that provides a single locus of control and is amenable to formal analysis. We demonstrate an initial analysis of its ability to resist malformed NoC commands, which we believe is the first effort to detect vulnerabilities that arise from NoC protocol violations perpetrated by erroneous or malicious IP.

Original languageEnglish (US)
Title of host publicationLogic, Rewriting and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday
EditorsPeter Csaba Ölveczky, Carolyn Talcott, Narciso Martí-Oliet
PublisherSpringer-Verlag Berlin Heidelberg
Pages404-426
Number of pages23
ISBN (Print)9783319231648
DOIs
StatePublished - 2015
EventConference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015 - Champaign, United States
Duration: Sep 23 2015Sep 25 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9200
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherConference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015
CountryUnited States
CityChampaign
Period9/23/159/25/15

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Network-on-chip firewall: Countering defective and malicious system-on-chip hardware'. Together they form a unique fingerprint.

Cite this