Sign in
Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities.
Amritraj Singh
Reza M. Parizi
Qi Zhang
Kim-Kwang Raymond Choo
Ali Dehghantanha
Published in:
Comput. Secur. (2020)
Keyphrases
</>
lessons learned
application scenarios
data sets
key issues
strengths and weaknesses
knowledge representation
difficulties encountered