This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) provides $150,000 to The Trustees of the University of Pennsylvania to study the design and implementation of a new class of smart contracts for blockchain-based financial transactions and supply chain applications. The project, titled "EAGER: SYNTHESIZING AND OPTIMIZING DECLARATIVE SMART CONTRACTS," aims to develop "DESCO," a declarative smart...
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...
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 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 awarded a $900,000 project grant to the University of California, San Diego to develop foundations, techniques, and frameworks for building end-to-end verified secure sandboxed systems from May 2022 through April 2026. This award falls under the Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Specifically,...
The National Science Foundation awarded a $600,000 Project Grant to Northeastern University for research titled "COLLABORATIVE RESEARCH: SATC: CORE: MEDIUM: MAKING CRYPTO TOO BIG TO BREAK." The grant was awarded on June 15, 2021 under the Computer and Information Science and Engineering program (CFDA 47.070) to support investigator-initiated research and education in all areas of computing, communications, and information science and engineering. Specifically, the funding will...
This $194,999 Project Grant award, funded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to enforce expressive security policies using trusted execution environments. The project aims to advance the state-of-the-art for building secure systems by automatically placing security-critical application components within secure enclaves, reducing the programming challenges. The work includes developing a...
This $636,487 five-year federal Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop a holistic framework for securing the continuous software development pipeline. The University of Delaware, the prime recipient, will comprehensively inspect the entire continuous software development process to identify and mitigate emerging software supply chain security threats. The project will involve three...
The National Science Foundation awarded $349,079 under its Computer and Information Science and Engineering program (CFDA 47.070) to Stony Brook University for a collaborative research project titled "COLLABORATIVE RESEARCH: SATC: CORE: MEDIUM: APP-DRIVEN WEB BROWSING: NOVEL RISKS, VULNERABILITIES, AND DEFENSES." The project, taking place from October 1, 2022 to September 30, 2026, will analyze security risks inherent in non-browser applications that enable web browsing. Researchers...
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...