Secure Randomized Checkpointing for Digital Microfluidic Biochips

Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, Ramesh Karri

Research output: Contribution to journalArticlepeer-review

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 paper 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 tradeoffs 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.

Original languageEnglish (US)
Pages (from-to)1119-1132
Number of pages14
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume37
Issue number6
DOIs
StatePublished - Jun 2018

Keywords

  • Biochips
  • cyberphysical systems
  • microfluidics
  • security

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'Secure Randomized Checkpointing for Digital Microfluidic Biochips'. Together they form a unique fingerprint.

Cite this