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

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