Project Grant 2443589
Award Date
2/1/25
Completion Date
1/31/30
Dollars Obligated
$312K
Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Princeton, NJ 08544, USA
Similar Awards
This federal Project Grant award, valued at $353,258.00 and awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, aims to develop new methods for reasoning about and evaluating security vulnerabilities in computer hardware and microarchitecture. The key objectives are to: Introduce a new programming interface for software to specify desired memory regions, and an abstract model to represent vulnerable microarchitectural...
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...
This federal Project Grant award of $347,792 from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is for the development of security-aware hardware design primitives for embedded devices. The research aims to enhance the effectiveness of hardware-assisted security solutions and create lightweight, robust design-for-security primitives to protect resource-constrained embedded systems used in applications like automotive, medical,...
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...
This $900,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop "pay-as-you-go" technology for verifying consistency properties of distributed system designs. The objective is to reduce the burden of using formal methods to prove consistency guarantees, enabling more widespread adoption and enabling the creation of more reliable distributed systems. The project will implement...
This $439,112 federal Project Grant award was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant aims to advance the state of knowledge in software quality assurance by enabling practical dynamic program reasoning across language boundaries for multi-language software systems. The key technical objectives are to: 1) characterize the effects of multi-language code construction on software behavior and...
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 $597,201 federal Project Grant awarded on June 1, 2024 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program supports the development of a novel programming language ecosystem for higher-order software contracts. The project aims to investigate the design, theory, implementation, and practice of a contract-centric ecosystem that can help developers better visualize, debug, and understand the interactions between software...
This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
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...