Smifier: A Smart Contract Verifier for Composite Transactions.

Yu Dong, Yue Li, Dongqi Cui, Jianbo Gao, Zhi Guan, Zhong Chen

Browse the full SEKE paper archive.