Secure Randomized Checkpointing for Digital Microfluidic Biochips

Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, Ramesh Karri

Research output: Contribution to journalArticle

Abstract

Digital microfluidic biochips (DMFBs) integrated with processors and arrays of sensors form cyberphysical systems and consequently face a variety of unique, recently described security threats. It has been noted that techniques used for error recovery can provide some assurance of integrity when a cyberphysical DMFB is under attack. This work proposes the use of such hardware for security purposes through the randomization of checkpoints in both space and time, and provides design guidelines for designers of such systems. We define security metrics and present techniques for improving performance through static checkpoint maps, and describe performance trade-offs associated with static and random checkpoints. We also provide detailed classification of attack models and demonstrate the feasibility of our techniques with case studies on assays implemented in typical DMFB hardware.

Fingerprint

Digital microfluidics
Biochips
Hardware
Assays
Sensors

Keywords

  • Cameras
  • Electrodes
  • Hardware
  • Security
  • Sensors
  • Trojan horses

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Cite this

Secure Randomized Checkpointing for Digital Microfluidic Biochips. / Tang, Jack; Ibrahim, Mohamed; Chakrabarty, Krishnendu; Karri, Ramesh.

In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 31.08.2017.

Research output: Contribution to journalArticle

@article{a26acc599cb9439eb3e4ac0bb9d26f02,
title = "Secure Randomized Checkpointing for Digital Microfluidic Biochips",
abstract = "Digital microfluidic biochips (DMFBs) integrated with processors and arrays of sensors form cyberphysical systems and consequently face a variety of unique, recently described security threats. It has been noted that techniques used for error recovery can provide some assurance of integrity when a cyberphysical DMFB is under attack. This work proposes the use of such hardware for security purposes through the randomization of checkpoints in both space and time, and provides design guidelines for designers of such systems. We define security metrics and present techniques for improving performance through static checkpoint maps, and describe performance trade-offs associated with static and random checkpoints. We also provide detailed classification of attack models and demonstrate the feasibility of our techniques with case studies on assays implemented in typical DMFB hardware.",
keywords = "Cameras, Electrodes, Hardware, Security, Sensors, Trojan horses",
author = "Jack Tang and Mohamed Ibrahim and Krishnendu Chakrabarty and Ramesh Karri",
year = "2017",
month = "8",
day = "31",
doi = "10.1109/TCAD.2017.2748030",
language = "English (US)",
journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
issn = "0278-0070",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Secure Randomized Checkpointing for Digital Microfluidic Biochips

AU - Tang, Jack

AU - Ibrahim, Mohamed

AU - Chakrabarty, Krishnendu

AU - Karri, Ramesh

PY - 2017/8/31

Y1 - 2017/8/31

N2 - Digital microfluidic biochips (DMFBs) integrated with processors and arrays of sensors form cyberphysical systems and consequently face a variety of unique, recently described security threats. It has been noted that techniques used for error recovery can provide some assurance of integrity when a cyberphysical DMFB is under attack. This work proposes the use of such hardware for security purposes through the randomization of checkpoints in both space and time, and provides design guidelines for designers of such systems. We define security metrics and present techniques for improving performance through static checkpoint maps, and describe performance trade-offs associated with static and random checkpoints. We also provide detailed classification of attack models and demonstrate the feasibility of our techniques with case studies on assays implemented in typical DMFB hardware.

AB - Digital microfluidic biochips (DMFBs) integrated with processors and arrays of sensors form cyberphysical systems and consequently face a variety of unique, recently described security threats. It has been noted that techniques used for error recovery can provide some assurance of integrity when a cyberphysical DMFB is under attack. This work proposes the use of such hardware for security purposes through the randomization of checkpoints in both space and time, and provides design guidelines for designers of such systems. We define security metrics and present techniques for improving performance through static checkpoint maps, and describe performance trade-offs associated with static and random checkpoints. We also provide detailed classification of attack models and demonstrate the feasibility of our techniques with case studies on assays implemented in typical DMFB hardware.

KW - Cameras

KW - Electrodes

KW - Hardware

KW - Security

KW - Sensors

KW - Trojan horses

UR - http://www.scopus.com/inward/record.url?scp=85029149569&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85029149569&partnerID=8YFLogxK

U2 - 10.1109/TCAD.2017.2748030

DO - 10.1109/TCAD.2017.2748030

M3 - Article

AN - SCOPUS:85029149569

JO - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

JF - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

SN - 0278-0070

ER -