Security assessment of synthesized actuation sequences for digital microfluidic biochips

Document Type

Conference Article

Publication Title

2017 7th International Symposium on Embedded Computing and System Design, ISED 2017

Abstract

In this paper, we address the problem of security in the context of Digital Microfluidic Biochips (DMFB) realizations, more specifically, we take up the concern of security threats on a given actuation sequence. Given a bio-chemical reaction synthesized for actuation on a given DMF architecture, we propose an automated method for verifying whether the synthesized actuation sequence is secure against malicious dispense attacks, using droplets dispensed by an attacker when the desired reaction is in execution. The foundation of our method lies in symbolic encoding. We highlight the benefits of the proposed approach through simulations on some well-known assay benchmarks.

First Page

1

Last Page

4

DOI

10.1109/ISED.2017.8303937

Publication Date

7-2-2017

This document is currently not available here.

Share

COinS