Project Grant N629092512041

This three-year, $425,000 Project Grant from the National Science Foundation's Division of Electrical, Communications and Cyber Systems, under the Engineering program (CFDA 47.041), will fund research at The Pennsylvania State University to develop provably secure, online learning-based adaptive cyber defenses for real-world servers. The research aims to provide mathematically rigorous guarantees by synthesizing new models integrating machine learning, game theory, and control theory. It will...

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,...

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...

The National Science Foundation (NSF) awarded a $1.2M Project Grant to the University of Virginia under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to enhance the security and privacy of community cyberinfrastructures (CI) for collaborative research. This 3-year project focuses on developing advanced techniques to secure data management and computation within CI systems, including centralized computing, distributed computing, and data computation. The...

The National Science Foundation (NSF) awarded the University of Virginia (UVA) a $278,815 CAREER grant under the Computer and Information Science and Engineering (CISE) program. The 5-year project titled "FOUNDATIONAL PRINCIPLES FOR HARNESSING PROVENANCE ANALYTICS FOR ADVANCED ENTERPRISE SECURITY" aims to develop automated techniques for rapid detection, investigation, and response to stealthy cyber threats within modern data centers. The project will focus on leveraging data...

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award provides $353,258 to the University of Colorado for a 5-year project entitled "SECURITY AS A FIRST-CLASS DESIGN CONSTRAINT IN COMPUTER ARCHITECTURE". The project aims to develop new abstract methods for reasoning about hardware vulnerabilities and build an evaluation infrastructure that can be integrated into hardware design tools to...

This three-year, $290,443 project grant from the National Science Foundation's Computer and Information Science and Engineering program aims to develop tools and methods for information flow validation in system-on-chip designs. Specifically, the University of Texas at Dallas will create a scientific foundation and comprehensive automated framework to systematically address challenges in validating that sensitive hardware assets cannot be accessed or corrupted by unauthorized agents. Key...

This $300,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) will fund research at Carnegie Mellon University from May 2022 to April 2026 to develop foundations for end-to-end verified secure sandboxed systems. The researchers will design novel type systems and formal foundations to characterize confidentiality, integrity, and availability requirements for securely sandboxing third-party code. They will develop...

This $566,953 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) program aims to address critical challenges in fine-grained information flow control (IFC) within software systems. The research project, led by The Ohio State University, focuses on developing a novel IFC system tailored to the Rust programming language. Key objectives include designing a new static IFC library for Rust, introducing an innovative...

This Project Grant award of $599,755 from the National Science Foundation (NSF) Office of Advanced Cyberinfrastructure supports research by North Carolina Agricultural and Technical State University (NC A&T) to fortify the cybersecurity of data-intensive scientific cyber-infrastructures. The project aims to form a cybersecurity coalition within North Carolina to promote collaboration and knowledge sharing, collect comprehensive cybersecurity incident data, and utilize the data to model...