5 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Sally Junsong Wang, Kexin Pei, Junfeng Yang
Smart contracts are software programs that enable diverse business activities on the blockchain. Recent research has identified new classes of "machine un-auditable" bugs that aris…