Verification of untrusted chips using trusted layout and emission measurementsFranco StellariPeilin Songet al.2014HOST 2014