The National Science Foundation awarded a $492,818 project grant to Stanford University from the Computer and Information Science and Engineering program (CFDA 47.070) for work titled "Efficient, Automatic, and Trustworthy Smart Contract Verification." The goal of this three-year project beginning October 1, 2021 is to develop techniques for formally verifying smart contracts to ensure they are efficient, automatically checked for security vulnerabilities, and produce trustworthy outcomes. The Computer and Information Science and Engineering program supports investigator-initiated research and education in computing, communications, and information science and engineering fields, as well as development of cyberinfrastructure to accelerate discovery and innovation. The outcomes of this project will contribute to those goals by advancing methods for validating smart contracts are secure and function as intended.
Generated 1/6/24, 3:22 PM