4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Ajay K. Gogineni, S. Swayamjyoti, Devadatta Sahoo +2
Vulnerability detection and safety of smart contracts are of paramount importance because of their immutable nature. Symbolic tools like OYENTE and MAIAN are typically used for vul…