75 citations · 75 across the 1 of their papers we have counts for
1 paper
Wesley Joon-Wie Tann, Xing Jie Han, Sourav Sen Gupta +1
Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform compl…