Scaling Symbolic Execution for Efficient Security Verification of Hardware - Ryan, Kaki (ProQuest Dissertations and Theses, 2025)