A privacy-preserving framework for smart contracts based on stochastic model checking | IEEE Conference Publication | IEEE Xplore