System-on-Chip Security: Validation and Verification - Farahmandi (Springer International Publishing, 2020)