Frameworks for Joint Verification of Security Critical Software and Microarchitecture - Ghaniyoun, Moein (ProQuest Dissertations and Theses, 2025)