Cited By
View all- Bao TLiu Y(2021)A privacy-preserving framework for smart contracts based on stochastic model checking2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)10.1109/TrustCom53373.2021.00075(460-467)Online publication date: Oct-2021