Project Grant 2348754
Award Date
10/1/24
Completion Date
9/30/27
Dollars Obligated
$567K
Funding Federal Agency
Division of Computing and Communication Foundations
Awarding Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Columbus, OH 43210, USA
Similar Awards
This National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) Project Grant award of $600,000 to Yale University will leverage the Rust programming language to enhance the correctness and reliability of systems software, such as operating systems. The project aims to develop innovative techniques for intralingual resource representation, design patterns for verifiable operating system implementation, and a hybrid approach combining formal and informal...
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 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program, CFDA 47.070, provides $585,484 to support the development of compiler-assisted security techniques for low-cost embedded systems from June 1, 2022 to May 31, 2026. The University of Rochester will produce open-source compiler enhancements, benchmark applications, and educational materials to integrate security protections directly into compiled code for embedded devices. This...
This Project Grant award for $222,427 was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to Purdue University, starting on August 1, 2024 and running through July 31, 2029.
The award aims to address security vulnerabilities in deeply embedded software (DES) systems, which control a wide range of software-intensive systems like those used in homes, transportation, food, and energy. The project will develop...
This Project Grant award of $311,529 was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to The Trustees of Princeton University. The award, which runs from February 1, 2025 to January 31, 2030, is focused on developing strategies and mechanisms to safely utilize legacy software libraries with unsafe code within critical computer systems. The project aims to combine hardware-based and language-based techniques...
This $240,389 Project Grant award from the National Science Foundation's (NSF) Division of Computer and Network Systems (CFDA 47.070: Computer and Information Science and Engineering) supports research at the University of Utah on a new operating system architecture called NGOS. The key goals are to improve the security, reliability, and performance of modern operating systems by incorporating novel approaches for isolation, language safety, and formal verification of the kernel. The proposed...
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 $636,487 five-year federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) program aims to develop a holistic framework to secure the continuous software development pipeline.
The University of Delaware, the grant recipient, will pursue three key tasks under this award: 1) Developing a comprehensive security testing system to analyze critical components and stakeholder interactions within the continuous...
This $206,439 Project Grant was awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) on September 1, 2024. The grant supports the development of a new framework for microelectronic security and trust, utilizing knowledge-guided systematic design transformation approaches to secure intellectual property (IP) against reverse engineering attacks. The key research components include:
Leveraging reinforcement learning...
The University of Utah received a $220,500 Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). This 5-year award, beginning March 1, 2024, supports research to develop scalable security testing techniques for large software systems. The project focuses on advancing "fuzzing" - a predominant software vulnerability detection method - to address the unique challenges posed by software...