Biochemical assay invariant attestation for the security of cyber-physical digital microfluidic biochips