US8139846B2 - Verification of Integrated Circuits Against Malicious Circuit Insertions and Modifications Using Non-Destructive X-Ray Microscopy