Applications and Security of Blockchain

Overview of Research

Smart contracts are immutable programs on the Blockchain that enforce legal and financial contracts. There are many reported cases of security exploits of smart contracts resulting in millions of dollars in lost coins. In this project, we are developing a variety of tools, including but not limited to combinations of static and symbolic analysis, fuzzing, and verification methods, aimed at detecting security vulnerabilities in smart contracts. We further investigate the possibility of expanding the applications of Blockchain.

Publications:

1. Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, Anwar Hasan, and Vijay Ganesh
   CountChain: A Decentralized Oracle Network for Counting Systems
   IEEE International Conference on Blockchain (Part of IEEE Cybermatics Congress), Copenhagen, Denmark, August 19-22, 2024.
   [pdf][bib]

2. Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, Anwar Hasan, and Vijay Ganesh
   AdChain: Decentralized Header Bidding
   The International Conference on Mathematical Research for Blockchain Economy, Springer, Malaga, Spain, July 9 - 11 , 2024,
   [pdf][bib]

3. Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, and Vijay Ganesh
   Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
   MARBLE 2022 The 3rd International Conference on Mathematical Research for Blockchain Economy, Vilamoura, Portugal, July 12 - 14, 2022.
   [pdf][bib]

4. William Zhang, Sebastian Banescu, Leodardo Pasos, Steven Stewart, and Vijay Ganesh
   MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
   The 30th International Symposium on Software Reliability Engineering (ISSRE 2019), Berlin, Germany, Nov 01 , 2019.
   [pdf][bib]