Agent-Based Modeling of Blockchain Decentralized Financial Protocols | IEEE Conference Publication | IEEE Xplore