This $786,661 federal Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support the development of novel techniques and systems to identify vulnerabilities and detect malicious attacks in Web3 applications and blockchain-based financial services. The project, titled "SATC: CORE: MEDIUM: BEDROCK: SECURITY FOR SMART CONTRACTS," will introduce a multi-layer framework called BEDROCK to analyze...
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...
The National Science Foundation awarded Syracuse University a $498,624 project grant under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) to develop cost optimization techniques for decentralized applications on blockchains. The university will design and evaluate approaches to reduce the monetary costs incurred by end-users of decentralized finance and other applications, such as bundling transaction requests and dynamically reorganizing data storage. A...
The Trustees of the University of Pennsylvania were awarded a $500,000 Project Grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering program (CFDA 47.070). The three-year award will support research towards developing permissioned blockchain infrastructure for mobile internet applications from October 2021 through September 2024. The NSF's Computer and Information Science and Engineering program aims to advance computing and communication...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) project grant (CFDA 47.070) awarded $160,493 to the Georgia Tech Research Corporation to conduct collaborative research at the intersection of distributed cryptography and blockchain technologies. The key objectives are: (1) developing a common framework and language to bridge the gap between cryptography and distributed computing research on emerging technologies like blockchain; (2) investigating the...
This SBIR Phase I Project Grant award from the National Science Foundation (NSF) Technology, Innovation, and Partnerships (CFDA 47.084) program provides $275,000 in funding to Radius Technology Systems, Inc. to develop a high-throughput smart contract platform capable of processing over 1 million transactions per second. The key innovation is the ability to execute smart contract transactions in parallel without needing to serialize a global order, enabling horizontal scalability. The platform...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award of $174,927 to the San Diego State University Research Foundation will fund research to address challenges in the Ethereum peer-to-peer (P2P) network. The effort will develop methods to systematically detect incompatible communication protocols and inconsistent behaviors across Ethereum clients, as well as design a new approach to preserve node...
The National Science Foundation (NSF) awarded a $324,865 Project Grant under its Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to the University of Wisconsin System for the project "COLLABORATIVE RESEARCH: CSR: MEDIUM: A SYSTEM PERSPECTIVE OF BLOCKCHAIN FAULT TOLERANCE: FOUNDATIONS, MODELING, AND MEASUREMENT". This multi-year project, running from May 2024 to April 2028, aims to advance the fault tolerance of decentralized blockchain transactions by...
The National Science Foundation awarded a $255,780 Project Grant under the NSF Technology, Innovation, and Partnerships program (CFDA 47.084) to Skuchain, Inc. of Mountain View, California. The grant funds the development of a blockchain platform to facilitate faster and safer transactions for manufactured goods supply chains. Specifically, the company will address scalability, security and interoperability challenges through hierarchical public/private keys, granular access controls using...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Project Grant, awarded to Iowa State University of Science and Technology, aims to advance the fault tolerance of decentralized blockchain transactions. The $290,772 award, effective May 15, 2024 through April 30, 2028, will fund research to: Capture the inherent dependencies across the blockchain ecosystem, Identify critical transaction states, and Ensure the effectiveness and efficiency of blockchain...