System-on-Chip security validation and verification - Farahmandi, Farimah; Huang, Yuanwen; Mishra, Prabhat (Springer, 2020)