Jiahao He

Consensus mechanism design based on structured directed acyclic graphs

2021 · Blockchain Research and Applications

Capacity limit is a bottleneck for broader applications of blockchain systems. Scaling up capacity while preserving security and decentralization are major challenges in blockchain infrastructure design. In this paper, we design a proof of work-based …

EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts

2022 · 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)

EOSIO smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. As EOSIO smart contracts manage valuable assets, they become high-value targets and are subjected to more and more …