A SAT-based fitness function for evolutionary optimization of polymorphic circuits | IEEE Conference Publication | IEEE Xplore