Project Grant 2048499
Award Date
4/1/21
Completion Date
3/31/24
Dollars Obligated
$500K
Funding Federal Agency
National Science Foundation
Awarding Federal Agency
Division of Computer and Network Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Portland, OR 97207, USA
Similar Awards
This Project Grant award from the National Science Foundation (NSF)'s Computer and Information Science and Engineering (CISE) program totaling $174,966 will support research to develop techniques for embedding and reasoning about existing computer programs using formal verification methods. The project aims to create tools that translate C code to mixed embeddings enabling equational reasoning, generalize mixed embeddings to support programs written in both C and Haskell, and explore...
The National Science Foundation awarded a $900,000 project grant to the University of California, San Diego to develop foundations, techniques, and frameworks for building end-to-end verified secure sandboxed systems from May 2022 through April 2026. This award falls under the Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Specifically,...
Portland State University was awarded a $149,893 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070). The grant supports a project titled "Using a Network of Campus Testbeds and Community Engagement to Accelerate the Mutual Creation, Adoption, and Transfer of Urban Innovation in Cities." The project aims to advance the development and use of research cyberinfrastructure to enable and accelerate discovery...
The National Science Foundation (NSF) awarded a $387,341 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to The Trustees of the Stevens Institute of Technology. The grant aims to develop theory, algorithms, and prototype tools for extending auto-active verification techniques to cover security hyperproperties. This research has the potential to transform computing practice by supporting accountability and trustworthiness of software...
Oregon State University was awarded a $499,971 project grant from the National Science Foundation under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will support research from October 2021 through September 2024 to advance the development and use of research cyberinfrastructure to enable and accelerate discovery and innovation in computing, communications, and information science and engineering. The funding will allow investigators at...
The National Science Foundation Division of Computing and Communication Foundations awarded Oregon State University a $250,000 Project Grant under the Computer and Information Science and Engineering program (CFDA 47.070) for the period of July 15, 2021 through June 30, 2024. The grant funds collaborative research on runtime verification at the edge. Specifically, the university will conduct investigator-initiated research to advance the development and use of cyberinfrastructure to enable and...
This $360,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to improve the reliability and performance of parallelizing compilers by automatically verifying that translated parallel code has the same functionality as the original sequential code. The project will involve precise modeling of sequential and parallel program behavior, developing a verification tool, and mathematically proving the...
This Project Grant award from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) provides $262,900 to Portland State University over the period of October 1, 2023 to September 30, 2025. The goal of this project is to redesign security education curricula to better integrate and leverage the use of large language models (LLMs) in addressing modern cybersecurity challenges. The key objectives are to create new educational content and lab...
This Project Grant award from the National Science Foundation Division of Computer and Network Systems, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $612,648 to Worcester Polytechnic Institute to develop new methods for securing embedded software. The awardee will shift security enforcement from developers to compilers using static analysis, runtime instrumentation, and hardware support. Enhancements will enable customization and promote longevity....
The National Science Foundation (NSF) has awarded a $442,000 Project Grant under its Computer and Information Science and Engineering (CFDA 47.070) program to the University of South Florida (USF) to host a 3-year summer research program focused on computer hardware security. The program, running from 2025 to 2027, will provide 10 undergraduate students per year, particularly from underrepresented groups, with hands-on research experience in detecting and mitigating security vulnerabilities in...