Penetration testing framework for smart contract Blockchain

Blockchain-Enabled Smart Contracts: Architecture, Applications, and Future Trends

Shuai Wang, Liwei Ouyang, Yong Yuan et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 2019 · 1.1K citations

Securify

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 969 citations

Engineering, Information Security, Verification +16

Blockchain and Smart Contracts for Insurance: Is the Technology Mature Enough?

Valentina Gatteschi, Fabrizio Lamberti, Claudio Giovanni Demartini et al. · Future Internet · 2018 · 509 citations · Full text

Technology Mature Enough, Distributed Ledger, Smart Contracts +23

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 404 citations

Engineering, Ethereum Community, Verification +26

A Novel PCA-Firefly Based XGBoost Classification Model for Intrusion Detection in Networks Using GPU

Sweta Bhattacharya, Siva Rama Krishnan S, Praveen Kumar Reddy Maddikunta et al. · Electronics · 2020 · 348 citations · Full text

Engineering, Machine Learning, Information Security +19