Cooperative Agreement FA87501220289

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...

This Project Grant award from the National Science Foundation (NSF) under the Technology, Innovation, and Partnerships (TIP) program (CFDA 47.084) provides $274,880 to Sakura Software Solutions, LLC to develop a digital engineering tool for integrated software and hardware reliability analysis. The project aims to create a cloud-based Software-as-a-Service (SaaS) platform that employs advanced data analytics and automation to revolutionize system reliability assessment across industries such...

Purdue University was awarded a $300,000 Project Grant from the National Science Foundation to develop an open-source ecosystem around proactive software supply chain monitoring. Funded through the NSF Technology, Innovation, and Partnerships program (CFDA 47.084), this 12-month project aims to engage stakeholders in emerging applications like artificial intelligence, internet of things, and critical infrastructure to build a sustainable community focused on providing usable security...

This Project Grant award from the National Science Foundation's (NSF) Technology, Innovation, and Partnerships (TIP) program (CFDA 47.084) provides $1,500,000 to New York University to build an open-source ecosystem called "SBOMIT" that aims to enhance the security and transparency of software supply chains. The SBOMIT ecosystem utilizes the existing "in-toto" open-source framework to apply cryptographic verification and attestations across the software development lifecycle,...

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...

This $336,352 National Science Foundation project grant supports research towards trustworthy and accountable internet of things (IoT) data marketplaces from July 2022 through June 2024. Funded under the Computer and Information Science and Engineering program (CFDA 47.070), the research investigates foundations and implementation of a decentralized marketplace to enable secure IoT data sharing and trading with flexible and enforced access controls as well as post-trading accountability. Key...

This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...

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,...

This Cooperative Agreement, awarded by the National Science Foundation (NSF) under their Technology, Innovation, and Partnerships program (CFDA 47.084), provides $1,499,989.00 to Purdue University to create a comprehensive knowledge graph detailing software components across diverse software ecosystems and facilitate tools to detect and automatically fix software vulnerabilities. The project aims to advance research on software supply chain management and risk mitigation by developing advanced...

This Project Grant award from the National Science Foundation (NSF) under the Technology, Innovation, and Partnerships (CFDA 47.084) program provides $273,383 to Deepbits Technology Inc., a self-certified small disadvantaged business, to develop AI-powered code diffing capabilities to enhance software supply chain security. The project, titled "ReleaseChecker," aims to leverage artificial intelligence and large language models to efficiently analyze differences between software...