Project Grant 2344915
Award Date
10/1/24
Completion Date
9/30/27
Dollars Obligated
$210K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Gainesville, FL 32611, USA
Similar Awards
This federal Project Grant award, provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, aims to improve the scalability and effectiveness of hardware security verification through novel fuzzing techniques. The project, titled "COLLABORATIVE RESEARCH: NSF-DFG: SATC: CORE: SMALL: VERIFUZZ: LIGHT-WEIGHT FORMAL APPROACHES FOR SCALABLE HARDWARE FUZZING", will develop new methods that combine formal verification,...
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...
The University of Florida was awarded a $305,000 project grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070) to develop tools and methods for information flow validation in system-on-chip designs. The three-year award running from October 1, 2022 to September 30, 2025 will support research to create a scientific foundation and comprehensive automated framework of integrated tools to systematically address challenges in...
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...
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 $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...
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) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award of $206,439 to the University of Florida provides funding for the development of a scalable, learning-guided hardware IP protection platform. The key products and services being delivered under this 4-year grant include: Utilizing reinforcement learning techniques to discover novel attack vectors against logic locking and identify root causes behind...
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...