Xianglin Bao, Xiaofeng Xu, Ping Zhang, Tao Liu. Comprehensive Formal Modeling and Automatic Vulnerability Detection for a Bitcoin-Compatible Mixing Protocol. IEEE Access, 10:128847-128873, 2022. [doi]
@article{BaoXZL22, title = {Comprehensive Formal Modeling and Automatic Vulnerability Detection for a Bitcoin-Compatible Mixing Protocol}, author = {Xianglin Bao and Xiaofeng Xu and Ping Zhang and Tao Liu}, year = {2022}, doi = {10.1109/ACCESS.2022.3228109}, url = {https://doi.org/10.1109/ACCESS.2022.3228109}, researchr = {https://researchr.org/publication/BaoXZL22}, cites = {0}, citedby = {0}, journal = {IEEE Access}, volume = {10}, pages = {128847-128873}, }