Making smart contract development more secure and easier
Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, Yu Jiang
Abstract
With the rapid development of distributed applications, smart contracts have attracted more and more developers' attentions. However, developers or domain experts have different levels of familiarity with specific programming languages, like Solidity, and those vulnerabilities hidden in the code would be exploited and result in huge property losses. Existing auxiliary tools lack security considerations. Most of them only provide word completion based on fuzzy search and detection services for limited types of vulnerabilities, which results in the manpower waste during coding and potential vulnerability threats after deployment.
Topics & Concepts
Computer scienceSoliditySoftware deploymentComputer securitySecure codingFuzz testingDomain (mathematical analysis)Vulnerability (computing)Property (philosophy)Coding (social sciences)Software engineeringRisk analysis (engineering)Software security assuranceSoftwareInformation securityBusinessProgramming languageSecurity serviceEpistemologyPhilosophyMathematicsStatisticsMathematical analysisBlockchain Technology Applications and SecurityAdvanced Malware Detection TechniquesSecurity and Verification in Computing