The Need for Declarative Properties in Digital IC Security

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]

Authors

Mohamed El Massad

This author has not been identified. Look up 'Mohamed El Massad' in Google

Frank Imeson

This author has not been identified. Look up 'Frank Imeson' in Google

Siddharth Garg

This author has not been identified. Look up 'Siddharth Garg' in Google

Mahesh Tripunitara

This author has not been identified. Look up 'Mahesh Tripunitara' in Google