Analysis and Design of Tamper-Mitigating Microfluidic Routing Fabrics

Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, Ramesh Karri

Research output: Contribution to journalArticle

Abstract

Microfluidic routing fabrics are reconfigurable primitives that permit the dynamic redirection of fluids on a flow-based microfluidic biochip. Such primitives are bringing the benefits of rapid prototyping and on-the-fly reconfigurability from integrated circuits to the microfluidic domain. An unfortunate side effect of this increased flexibility is susceptibility to tampering. A malicious adversary can alter either the electronic control signals or the pneumatic control lines used to drive the routing fabric. In this work, we provide a high-level security assessment of microfluidic systems utilizing routing fabrics, and analyze their security under actuation tampering attacks. We show that under reasonable assumptions, the permissible states of a routing fabric forms a probability distribution. We provide methods for efficiently determining this distribution through a binary tree representation. We then show how to synthesize routings fabrics that exhibit well-defined behaviors. We call a routing fabric designed in such a way tamper-mitigating, as it makes the effects of tampering probabilistically less severe. We then show how the proposed methodology can be used to protect a forensic DNA barcoding application from attack.

Fingerprint

Microfluidics
Pneumatic control
Biochips
Binary trees
Rapid prototyping
Probability distributions
Integrated circuits
DNA
Fluids

Keywords

  • Computer security
  • Fabrics
  • Flow-based microfluidic biochip
  • Hardware
  • mitigation.
  • Probabilistic logic
  • Routing
  • routing fabric
  • security
  • tampering
  • transposer
  • Valves

ASJC Scopus subject areas

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

Cite this

Analysis and Design of Tamper-Mitigating Microfluidic Routing Fabrics. / Tang, Jack; Ibrahim, Mohamed; Chakrabarty, Krishnendu; Karri, Ramesh.

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

Research output: Contribution to journalArticle

@article{9e69348e8b494962968cf1f6d9fb20d5,
title = "Analysis and Design of Tamper-Mitigating Microfluidic Routing Fabrics",
abstract = "Microfluidic routing fabrics are reconfigurable primitives that permit the dynamic redirection of fluids on a flow-based microfluidic biochip. Such primitives are bringing the benefits of rapid prototyping and on-the-fly reconfigurability from integrated circuits to the microfluidic domain. An unfortunate side effect of this increased flexibility is susceptibility to tampering. A malicious adversary can alter either the electronic control signals or the pneumatic control lines used to drive the routing fabric. In this work, we provide a high-level security assessment of microfluidic systems utilizing routing fabrics, and analyze their security under actuation tampering attacks. We show that under reasonable assumptions, the permissible states of a routing fabric forms a probability distribution. We provide methods for efficiently determining this distribution through a binary tree representation. We then show how to synthesize routings fabrics that exhibit well-defined behaviors. We call a routing fabric designed in such a way tamper-mitigating, as it makes the effects of tampering probabilistically less severe. We then show how the proposed methodology can be used to protect a forensic DNA barcoding application from attack.",
keywords = "Computer security, Fabrics, Flow-based microfluidic biochip, Hardware, mitigation., Probabilistic logic, Routing, routing fabric, security, tampering, transposer, Valves",
author = "Jack Tang and Mohamed Ibrahim and Krishnendu Chakrabarty and Ramesh Karri",
year = "2019",
month = "1",
day = "1",
doi = "10.1109/TCAD.2019.2907881",
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 - Analysis and Design of Tamper-Mitigating Microfluidic Routing Fabrics

AU - Tang, Jack

AU - Ibrahim, Mohamed

AU - Chakrabarty, Krishnendu

AU - Karri, Ramesh

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Microfluidic routing fabrics are reconfigurable primitives that permit the dynamic redirection of fluids on a flow-based microfluidic biochip. Such primitives are bringing the benefits of rapid prototyping and on-the-fly reconfigurability from integrated circuits to the microfluidic domain. An unfortunate side effect of this increased flexibility is susceptibility to tampering. A malicious adversary can alter either the electronic control signals or the pneumatic control lines used to drive the routing fabric. In this work, we provide a high-level security assessment of microfluidic systems utilizing routing fabrics, and analyze their security under actuation tampering attacks. We show that under reasonable assumptions, the permissible states of a routing fabric forms a probability distribution. We provide methods for efficiently determining this distribution through a binary tree representation. We then show how to synthesize routings fabrics that exhibit well-defined behaviors. We call a routing fabric designed in such a way tamper-mitigating, as it makes the effects of tampering probabilistically less severe. We then show how the proposed methodology can be used to protect a forensic DNA barcoding application from attack.

AB - Microfluidic routing fabrics are reconfigurable primitives that permit the dynamic redirection of fluids on a flow-based microfluidic biochip. Such primitives are bringing the benefits of rapid prototyping and on-the-fly reconfigurability from integrated circuits to the microfluidic domain. An unfortunate side effect of this increased flexibility is susceptibility to tampering. A malicious adversary can alter either the electronic control signals or the pneumatic control lines used to drive the routing fabric. In this work, we provide a high-level security assessment of microfluidic systems utilizing routing fabrics, and analyze their security under actuation tampering attacks. We show that under reasonable assumptions, the permissible states of a routing fabric forms a probability distribution. We provide methods for efficiently determining this distribution through a binary tree representation. We then show how to synthesize routings fabrics that exhibit well-defined behaviors. We call a routing fabric designed in such a way tamper-mitigating, as it makes the effects of tampering probabilistically less severe. We then show how the proposed methodology can be used to protect a forensic DNA barcoding application from attack.

KW - Computer security

KW - Fabrics

KW - Flow-based microfluidic biochip

KW - Hardware

KW - mitigation.

KW - Probabilistic logic

KW - Routing

KW - routing fabric

KW - security

KW - tampering

KW - transposer

KW - Valves

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

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

U2 - 10.1109/TCAD.2019.2907881

DO - 10.1109/TCAD.2019.2907881

M3 - Article

AN - SCOPUS:85063664667

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 -