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