58 citations · 58 across the 1 of their papers we have counts for
1 paper
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen +4
Ensuring correctness of smart contracts is paramount to ensuring trust in blockchain-based systems. This paper studies the safety and security of smart contracts in the \emph{Azure…