Toward a Formal and Quantitative Evaluation Framework for Circuit Obfuscation Methods | IEEE Journals & Magazine | IEEE Xplore