Our paper on randomized checkpoints for cyber-physical digital microfluidic biochips is accepted for publication in IEEE Design & Test 2018.