Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo. Security-driven metrics and models for efficient evaluation of logic encryption schemes. In Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo, editors, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM, 2019. [doi]
Abstract is missing.