Tianxu Han, Qianhong Wu, Kun Wang, Yingmiao Zhang, Sipeng Xie: Proof of Inaction for outsourced data with exhaustive audit. Comput. Electr. Eng. 118: 109403 (2024)