Publication | Closed Access
EClone: detect semantic clones in Ethereum via symbolic transaction sketch
39
Citations
17
References
2018
Year
Unknown Venue
EngineeringInformation SecurityVerificationData DeduplicationSoftware EngineeringSmart ContractsSemantic WebEthereum EcosystemSoftware AnalysisFormal VerificationHardware SecuritySmart Contract LanguageSymbolic Transaction SketchSmart Contract ApplicationsRuntime VerificationComputer ScienceSmart ContractProgram AnalysisSoftware TestingFormal MethodsBlockchainSymbolic Execution
The Ethereum ecosystem has created a prosperity of smart contract applications in public blockchains, with transparent, traceable and programmable transactions. However, the flexibility that everybody can write and deploy smart contracts on Ethereum causes a large collection of similar contracts, i.e., clones. In practice, smart contract clones may amplify severe threats like security attacks, resource waste etc.
| Year | Citations | |
|---|---|---|
Page 1
Page 1