Mohamed El Massad, Frank Imeson, Siddharth Garg, Mahesh Tripunitara. The Need for Declarative Properties in Digital IC Security. In Laleh Behjat, Jie Han, Miroslav N. Velev, Deming Chen, editors, Proceedings of the on Great Lakes Symposium on VLSI 2017, Banff, AB, Canada, May 10-12, 2017. pages 333-338, ACM, 2017. [doi]