Login / Signup

Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities.

Amritraj SinghReza M. PariziQi ZhangKim-Kwang Raymond ChooAli Dehghantanha
Published in: Comput. Secur. (2020)
Keyphrases
  • lessons learned
  • application scenarios
  • data sets
  • key issues
  • strengths and weaknesses
  • knowledge representation
  • difficulties encountered