Project Grant 2445902
- This $566,953 project grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to address critical challenges in fine-grained information flow control (IFC) within software systems. The research primarily focuses on developing a novel IFC system tailored to the Rust programming language, leveraging its unique features. Key objectives include designing a static IFC library to minimize programming model...
- The National Science Foundation (NSF) awarded a $347,985 Project Grant titled "CAREER: SATC: Privacy-Aware Just-In-Time Compilation" to The Trustees of the Stevens Institute of Technology. The award, under the NSF's Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070), is for the development of a just-in-time compilation framework that can balance security, privacy, and performance optimization concerns. The key components of this framework...
- 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...
- 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...
- The National Science Foundation (NSF) awarded a Project Grant totaling $599,649 under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to Trustees of Indiana University (doing business as Indiana University) for the "SCIPDF: Usable Private Data Federation for Secure Scientific Collaboration" project. This project aims to "democratize" the complex pipeline of Private Data Federations (PDFs), making cutting-edge PDF features accessible to the...
- The National Science Foundation Division of Computer and Network Systems awarded Indiana University $938,479 under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for the project "CC* INTEGRATION-LARGE: IN-NETWORK DISTRIBUTED INFRASTRUCTURE FOR ADVANCED NETWORK APPLICATIONS" from October 1, 2021 to September 30, 2023. This Project Grant funding will support the development of an in-network distributed infrastructure to enable advanced network...
- The National Science Foundation (NSF) awarded a $311,529 Project Grant to Princeton University under the CISE: Core Programs from the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The project, titled "CAREER: ENCAPSULATING UNSAFE CODE IN LOW-LEVEL SYSTEMS", seeks to develop strategies and mechanisms to safely utilize legacy software libraries with unsafe programming languages by combining hardware-based and language-based techniques. This will...
- The National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program awarded a $900,000 Project Grant to Yale University to design better software, study security weaknesses, and create new methods to protect sensitive data in confidential computing environments (CCEs) on public cloud platforms. The research aims to improve the software support for CCEs, which leverage a combination of secure hardware and software to protect application data...
- This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...
- This $499,999 Project Grant award was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The project aims to develop new, practical solutions to protect microcontroller-based systems from cyberattacks, supporting national priorities in healthcare, energy, transportation, and public safety. Key efforts include leveraging novel microcontroller hardware functionalities for memory management, tracing, and...
The National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program awarded a $449,727 Project Grant to the Trustees of Indiana University, doing business as Indiana University, with a period of performance from October 1, 2025, to September 30, 2028. This grant focuses on enhancing program security through the concept of information-flow control (IFC), which ensures that sensitive data, such as medical records or financial transactions, does not accidentally leak to unauthorized parts of a program or to external users. The project aims to bridge the gap between theoretical concepts of gradual IFC and their practical implementation in real-world scenarios. It will involve theoretical work to formally verify the security properties of a gradual IFC language called LambdaIFCstar, as well as practical implementation by developing a new compiler, GrifTIFC, for an extended version of LambdaIFCstar. The goal is to enable more flexible and efficient development of secure software that protects sensitive information without sacrificing performance or programmer productivity.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $449.7k | 8/15/25 |