Emulation-based System-on-Chip Security Verification: Challenges and Opportunities — Tanvir Rahman, Shuvagata Saha, Ahmed Y. Alhurubi, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor | Kutubxona