Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra. Pre-silicon security verification and validation: a formal perspective. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. pages 145, ACM, 2015. [doi]
Abstract is missing.