A Blockchain-based Study on the Operation of Individual-level Carbon Trading Aggregation Agents | IEEE Conference Publication | IEEE Xplore