A privacy-preserving framework for smart contracts based on stochastic model checking.

Tingting Bao, Yang Liu

Browse the full TrustCom paper archive.