My research extends in two distinct directions. I develop automated program analysis techniques to uncover vulnerabilities in low-level systems, such as, operating system kernel, bootloader, and Internet of Things (IoT) devices. In addition, I took a deep dive into the areas related to vulnerability analysis of smart contracts, and various aspects of cryptoeconomics, specifically the design flaws, and the market manipulation strategies employed in the decentralized finance (DeFi) ecosystem.