Project Grant 2442984
Award Date 8/1/25
Completion Date 7/31/30
Dollars Obligated $292K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Tempe, AZ 85281, USA
Similar Awards
- This National Science Foundation Project Grant of $1,199,992 will support the development of Scenario-Specific Symbolic Execution (S3E), a customizable symbolic execution framework, at Arizona State University from May 1, 2023 through April 30, 2027. The grant is funded through the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in all areas of computing, communications, and information science and...
- This Project Grant award, provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), will support research and development initiatives to accelerate symbolic execution, a type of program execution that maintains a description of each variable's value rather than the actual value. The $599,888 award to Duke University will enable innovations to reduce the cost and expand the applications of symbolic execution, with a focus on...
- This Project Grant award of $321,874 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research to improve the efficiency of symbolic execution for functional programming languages. The project aims to develop techniques to condense the number of program states that symbolic execution must reason about and reduce the computational work required to analyze each state. The goal is to enable symbolic execution to be applied to a...
- This $500,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop new techniques for software vulnerability discovery. Specifically, the University of California, Riverside will receive funding from February 2022 through January 2025 to create a fast binary code concolic execution engine and dual concolic execution approach that combines source code and binary code analysis. These new methods seek to significantly...
- 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 $338,993 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) supports research at George Mason University to advance semantics-oriented binary code analysis. The University will develop novel deep learning-based approaches to analyze closed-source software at both the instruction and control flow graph levels, with the goal of achieving high accuracy and scalability in binary code understanding. Specifically, the...
- This National Science Foundation (NSF) CAREER: Computer and Information Science and Engineering (CISE) program project grant for $347,792, awarded on August 15, 2025, supports the development of an end-to-end framework for designing, analyzing, and securing fine-grained hardware-assisted security primitives for resource-constrained embedded devices. The goal is to enhance the effectiveness of hardware-based malware detection solutions, leading to lightweight and robust security primitives for...
- The National Science Foundation (NSF) awarded a $353,258 Project Grant under the Computer and Information Science and Engineering (CISE) program to The Regents of the University of Colorado (CU) for the project "CAREER: SECURITY AS A FIRST-CLASS DESIGN CONSTRAINT IN COMPUTER ARCHITECTURE." The project aims to develop new abstract methods for reasoning about hardware vulnerabilities and an evaluation infrastructure that can be integrated into hardware design tools to incorporate...
- This $343,803 federal Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports research to develop efficient mitigation strategies against transient execution attacks across different CPU platforms. The key objectives of the project include: 1) Creating a novel reinforcement learning-assisted framework to comprehensively evaluate attack surfaces and mitigation strategies on black box processors; 2)...
- The National Science Foundation (NSF) awarded a $462,473 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of New Hampshire (UNH) for the "SATC 2.0: RES: ENSURING THE SECURITY OF SAFETY-CRITICAL EMBEDDED SYSTEMS" project. This 4-year project, running from October 1, 2025 to September 30, 2029, aims to characterize and automatically discover vulnerabilities in embedded systems used in safety-critical infrastructure, such as vehicle...