Systematic Security Analysis of Decentralized Applications and Smart Contracts - Meisami, Sajad (ProQuest Dissertations and Theses, 2025)