Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities 论文

2019Computers & Security引用 273

Blockchain Technology Applications and SecurityAdversarial Robustness in Machine LearningSecurity and Verification in Computing

网络安全 Adversarial Robustness in Machine Learning Security and Verification in Computing Blockchain Technology Applications and Security

相关技术:Adversarial Robustness in Machine Learning

Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities · 作者

Ali Dehghantanha

Kim‐Kwang Raymond Choo

Qi Zhang

Reza M. Parizi

Amritraj Singh