Security and Synthesis Solutions for Digital Microfluidic Biochips