Synthesis of Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips

Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, Ramesh Karri

Research output: Contribution to journalArticle

Abstract

Digital microfluidic biochips (DMFBs) are an emerging technology that implements bioassays through manipulation of discrete fluid droplets. Recent results have shown that DMFBs are vulnerable to actuation tampering attacks, where a malicious adversary modifies control signals for the purposes of manipulating results or causing denial-of-service. Such attacks leverage the highly programmable nature of DMFBs. However, practical DMFBs often employ a technique called pin mapping to reduce control pin count while simultaneously reducing the degrees of freedom available for droplet manipulation. Attempts to control specific electrodes as part of an attack cannot be made without inadvertently actuating other electrodes on-chip, which makes the tampering evident. This paper explores this tamper resistance property of pin mapping in detail. We derive relevant security metrics, evaluate the tamper resistance of several existing pin mapping algorithms, and propose a new security-aware pin mapper. Further, we develop integer linear programming-based methodologies for inserting indicator droplets into a DMFB in order to boost tamper resistance. Experimental results show that the proposed techniques can significantly increase the difficulty for an attacker to make stealthy changes to the execution of a bioassay.

Original languageEnglish (US)
Article number8554179
Pages (from-to)171-184
Number of pages14
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume39
Issue number1
DOIs
StatePublished - Jan 2020

Keywords

  • Digital microfluidics
  • electrode addressing
  • indicator droplets
  • integer linear programming (ILP)
  • security
  • tamper resistance

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'Synthesis of Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips'. Together they form a unique fingerprint.

  • Cite this