75 citations · 90 across the 8 of their papers we have counts for
1 paper · 1 filter
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…