Project Grant 2344914
Award Date
10/1/24
Completion Date
9/30/27
Dollars Obligated
$196K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
College Station, TX 77843, USA
Similar Awards
This National Science Foundation (NSF) Project Grant award under the Computer and Information Science and Engineering (CFDA 47.070) program provides $209,708 in funding to the University of Florida for a collaborative research project titled "VERIFUZZ: Light-Weight Formal Approaches for Scalable Hardware Fuzzing". The project aims to improve the scalability and effectiveness of hardware security validation and verification, particularly for modern embedded systems that rely on hardware...
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 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 Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...
This Project Grant from the National Science Foundation supports research at the University of Southern California to develop a principled framework for modeling and analyzing the impact of hardware faults on embedded software. The award of $374,999 under the Computer and Information Science and Engineering program will fund research over four years from July 2022 to June 2026. The researchers will design an instruction-set architecture-level fault model to capture the effects of hardware...
This National Science Foundation (NSF) Project Grant award under the Social, Behavioral, and Economic Sciences (CFDA 47.075) program will fund the development of a scalable, remote hardware security education platform. The $267,999 award to the University of South Florida will create an innovative learning tool that provides open access to physical hardware security development boards, enabling students to conduct hands-on experiments in hardware security from remote locations. Key components of...
This $353,258 Project Grant, awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, supports research into new methods for evaluating and mitigating security vulnerabilities in computer hardware design. The 5-year project, which commenced on March 1, 2025, aims to develop abstract models and programming interfaces to represent microarchitectural vulnerabilities, enabling industry stakeholders to better incorporate...
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...
This $204,000 project grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is aimed at developing an automated, context-sensitive fuzzing approach to effectively uncover bugs in security-critical protocol implementations. The project will span 5 years, from July 2024 to June 2029, and will be conducted by Syracuse University. The key activities include: 1) designing a domain-specific language to encode...
This $347,792 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports the development of an end-to-end framework for designing, analyzing, and securing fine-grained hardware security primitives for resource-constrained embedded devices. The research aims to enhance the effectiveness of hardware-assisted security solutions, leading to lightweight and robust design-for-security capabilities for embedded...