Project Grant FA95502110054

This $599,059 National Science Foundation project grant supports the development of secure multi-party computation programming technology at Rensselaer Polytechnic Institute. The goal is to advance compiler frameworks and optimization techniques that allow non-cryptography experts to write efficient privacy-preserving algorithms for applications like machine learning and data analytics. Key deliverables include an intermediate representation for secure computation and novel intra- and...

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 Project Grant from the National Science Foundation's Division of Computer and Network Systems, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $173,000 to the Long Beach Research Foundation of California State University to investigate secure embedded field-programmable gate array (EFPGA) redaction solutions and dynamic key schemes for hardware security and reliability from March 2023 to February 2025. The project aims to develop a comprehensive...

This Project Grant award of $300,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports collaborative research on the foundations of zero-knowledge computation. The award aims to develop programming abstractions and techniques that simplify the development, maintenance, and security evaluation of software systems leveraging non-interactive zero-knowledge (NIZK) proofs. Key research thrusts include: 1) combining code...

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

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 Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will fund research to develop new compiler techniques for managing scale in fully homomorphic encryption (FHE) programs. The $218,301 award, effective October 1, 2024 through September 30, 2027, supports three research tasks: 1) a new scale management solution to minimize FHE program latency, 2) an automatic bootstrapping management technique to optimize...

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) in the amount of $400,000.00 will support a collaborative research project titled "FMITF: TRACK I: AVA: ARCHITECTURAL INSIGHTS FOR FORMAL VERIFICATION OF COMPUTER ARCHITECTURES" at the Massachusetts Institute of Technology (MIT) from October 1, 2024 to September 30, 2027. The key objectives of this project are to: Develop architecture-driven abstractions,...

This federal Project Grant award of $240,000.00, provided by the Office of Naval Research (ONR) under the Basic and Applied Scientific Research program (CFDA 12.300), supports research by Virginia Polytechnic Institute & State University (Virginia Tech) on "TRUSTEDCPU: FORMALLY VERIFIED MICROCODE CUSTOMIZATION FOR SECURITY EXPLOIT MITIGATION". The grant aims to develop formally verified microcode customizations to mitigate security exploits, with a performance period from Sep 1,...

This National Science Foundation Project Grant of $349,276 supports research at Worcester Polytechnic Institute to develop innovative machine learning and natural language processing techniques for automated analysis of documentation related to networked systems security. Funded under the NSF's Computer and Information Science and Engineering program (CFDA 47.070), the project aims to leverage documentation sources like specifications, developer guides, and other materials to discover security...