Project Grant 2239615
Award Date
8/1/23
Completion Date
7/31/28
Dollars Obligated
$240K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Salt Lake City, UT 84112, 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...
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...
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 (NSF) awarded the Regents of the University of Michigan a $541,887 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program. The award, with a performance period of August 2023 to September 2024, aims to develop an architecture for lightweight data collection in the operating system kernel and use machine learning to discover and deploy improved kernel policies without compromising security. The project, titled...
This Project Grant from the National Science Foundation Division of Computer and Network Systems, under the Computer and Information Science and Engineering federal grant program (CFDA 47.070), provides $517,545 in funding to the University of Utah from January 1, 2022 to September 30, 2024. The award supports research to advance software vulnerability detection techniques. Specifically, the university researchers will develop new approaches to fuzz testing, a method for identifying software...
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 $566,953 project grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to address critical challenges in fine-grained information flow control (IFC) within software systems. The research primarily focuses on developing a novel IFC system tailored to the Rust programming language, leveraging its unique features. Key objectives include designing a static IFC library to minimize programming model...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) will fund a $1,200,000 project to develop practical, systematic fuzzing tools that enhance the security of scientific software. The 3-year project, led by the University of Utah, aims to address vulnerabilities in complex, multi-language scientific software by introducing (1) performant cross-language instrumentation, (2) automated...
This three-year, $250,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to improve open-source operating system kernel security through automated analyses. The Regents of the University of Minnesota will develop techniques to reason about patches, bug behaviors, and their impacts across decentralized kernel ecosystems. Specifically, the awardee will analyze upstream patches to identify those fixing critical issues,...
This Project Grant from the National Science Foundation's Computer and Information Science and Engineering program will fund $250,000 to develop automated analyses that improve the security of open-source operating system kernels. The Regents of the University of California at Riverside will receive the award to conduct research from July 1, 2022 to June 30, 2025. A large number of downstream operating system kernels are derived from upstream kernels like Linux to reduce development costs....