Security assessment of synthesized actuation sequences for digital microfluidic biochips | IEEE Conference Publication | IEEE Xplore