Security-driven Metrics and Models for Efficient Evaluation of Logic Encryption Schemes. Hu, Y., Menon, V. V., Schmidt, A., Monson, J., French, M., & Nuzzo, P. In ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.
bibtex   
@inproceedings{Hu2019a,
	author = {Yinghua Hu and Vivek V. Menon and Andrew Schmidt and Joshua Monson and Matthew French and Pierluigi Nuzzo},
	booktitle = {ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},
	title = {Security-driven Metrics and Models for Efficient Evaluation of Logic Encryption Schemes},
	year = {2019}}

Downloads: 0