Tingting Bao, Yang Liu. A privacy-preserving framework for smart contracts based on stochastic model checking. In 20th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2021, Shenyang, China, October 20-22, 2021. pages 460-467, IEEE, 2021. [doi]
Abstract is missing.