Project Grant 2154989
Award Date 7/1/22
Completion Date 6/30/25
Dollars Obligated $250K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Minneapolis, MN 55455, USA
Similar Awards
- 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....
- This Project Grant from the National Science Foundation's Division of Computing and Communication Foundations, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $321,347 to Northwestern University to develop approaches combining crowd-reported and machine-generated data with program analysis to automate the reproduction of kernel vulnerabilities. Specifically, the university will create inference methods to determine kernel compilation configurations from...
- 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 $150,000 Project Grant was awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The goal of the project is to develop new automated techniques to formally verify the correctness of the abstract interpretation algorithms used in the Extended Berkeley Packet Filter (eBPF) verifier within the Linux kernel. This work aims to enhance the security and reliability of the widely deployed eBPF software and...
- The National Science Foundation awarded a $1.167 million project grant to Columbia University from March 2021 to February 2025 under the Computer and Information Science and Engineering program (CFDA 47.070). The grant funds research to microverify the information-flow security of the Linux operating system kernel. The Computer and Information Science and Engineering program supports investigator-initiated research and education across computing, communications, and information science and...
- This two-year, $174,900 project grant from the National Science Foundation's Division of Computer and Network Systems will fund research at DePaul University towards developing more accurate vulnerability detection and less disruptive vulnerability mitigation techniques. The goal is to address challenges in reliably finding software vulnerabilities and patching them without compromising system availability. Researchers will design a scheme for encoding intrinsic vulnerability characteristics...
- 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...
- The Regents of the University of Minnesota received a $300,000 Project Grant award from the National Science Foundation Division of Mathematical Sciences on September 1, 2021 to complete the project by August 31, 2024. The grant falls under the Mathematical and Physical Sciences program (CFDA 47.049), which aims to promote progress in these fields and strengthen the nation's scientific enterprise through increasing knowledge and enhancing understanding of major national problems. Specifically,...
- This $311,482 federal Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CFDA 47.070) program will fund research at Purdue University to develop a comprehensive methodology for creating, deploying, and verifying software patches, particularly for legacy applications where the source code is unavailable. The key objectives are to: 1) develop differential binary analysis techniques to assess the security enhancements and potential side...
- This $262,754 federal Project Grant award was made by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to The Pennsylvania State University, doing business as Penn State. The grant aims to evaluate practical defense mechanisms against memory errors and attacks, with a focus on techniques to improve the robustness of existing software defense systems. Key research activities include investigating approaches to identify...