Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

missing security patches

biblio

Visible to the public Gap between Theory and Practice: An Empirical Study of Security Patches in Solidity

Submitted by aekwall on Mon, 03/15/2021 - 12:07pm
  • contracts
  • vulnerability patches
  • Solidity team
  • Solidity
  • security patches
  • real-world Solidity contracts
  • real-world Ethereum smart contracts
  • potentially vulnerable contracts
  • missing security patches
  • Ethereum smart contract developers
  • empirical study
  • smart contract security
  • Manuals
  • electronic commerce
  • compiler security
  • C++ language
  • security of data
  • program compilers
  • Compositionality
  • encoding
  • program diagnostics
  • smart contracts
  • security vulnerabilities
  • static analysis
  • software engineering
  • tools
  • Metrics
  • pubcrawl
  • Resiliency
  • security
  • telecommunication security
  • Scalability

Terms of Use  |  ©2023. CPS-VO