Checkpoints Assignment on Cyber-Physical Digital Microfluidic Biochips for Early Detection of Hardware Trojans | IEEE Conference Publication | IEEE Xplore