Ethereum blockchain is the decentralized platform for Ether (ETH, cryptocurrency ether) and smart contracts. Ether is second only to Bitcoin in market capitalization. Smart contracts enable Ethereum to remove the need for a third party to handle transactions between peers, which can reduce the time and save money.
They are either all or part of the backends of the distributed applications (Dapps). Since smart contracts are mainly involved in financially based transactions, security is a major concern for wide application. The immutable nature makes this concern more serious as they are rather difficult to patch. Therefore, security analysis of smart contracts is critical.
Smart Contract Security
- • Vulnerability detection and analysis
- • Automated security testing
- • Formal verification methods
- • Static and dynamic analysis
DeFi Security
- • Decentralized finance protocols
- • Flash loan attack prevention
- • Reentrancy vulnerability detection
- • Access control mechanisms
SmartExecutor: Coverage-Driven Symbolic Execution Guided via State Prioritization and Function Selection
Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, Richard Kuhn
ACM Transactions on Software Engineering and Methodology (TOSEM)
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts
Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei, Raghu Kacker, D Richard Kuhn, Dimitris E Simos
Proceedings of the 2023 IEEE International Conference on Software Architecture (ICSA)