SAT-based code synthesis for fault-secure circuits | IEEE Conference Publication | IEEE Xplore