Scalable Verification With Applications to Hardware Security - Dinesh, Sushant (ProQuest Dissertations and Theses, 2025)