Project Grant 2318975
Award Date 10/1/23
Completion Date 9/30/27
Dollars Obligated $299K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Evanston, IL 60208, USA
Similar Awards
- This $449,999.00 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research by Yale University to develop an automated framework for parallelizing and optimizing zero-knowledge proof (ZKP) protocols. ZKP protocols allow a party to prove the correctness of a statement without revealing sensitive information, with applications in areas like blockchain privacy and verifiable computation. The project aims...
- This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program provides $300,000 in funding to the University of Wisconsin System to conduct collaborative research on non-interactive zero-knowledge (NIZK) proofs. The research aims to develop programming abstractions that simplify the use of NIZK technology, which enables verifying properties of private data without revealing the data itself. The project will explore...
- This federal Project Grant award of $592,500 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports collaborative research on the foundations of zero-knowledge computation. The project will develop programming abstractions to simplify the development and maintenance of systems using non-interactive zero-knowledge (NIZK) proofs, techniques for reasoning about the security of large programs using NIZKs, and languages for describing...
- This Project Grant award, totaling $1,000,000, was provided by the National Science Foundation (NSF) through its Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The project, titled "SHF: CSR: MEDIUM: PRACTICAL AND EFFICIENT ACCELERATORS WITH HIGH-FREQUENCY CHIPLETS," aims to develop automated artificial intelligence (AI) systems to design high-performance hardware accelerators for cutting-edge cryptographic technologies like zero-knowledge...
- The National Science Foundation awarded Northwestern University a $600,000 project grant under the Computer and Information Science and Engineering program (CFDA 47.070) for collaborative research on automatic parallelization of medium-scale applications from October 1, 2021 to September 30, 2025. The university will work with other institutions to develop techniques for automatically parallelizing applications involving tens to hundreds of thousands of lines of code, to make them efficiently...
- 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 award, valued at $237,500.00 and made by the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) Federal Grant Program, develops a novel cryptographic protocol-based architecture to enable federal agencies to rapidly access spectrum for wireless communication and sensing without compromising sensitive operational information. The key products delivered through this 3-year project include: A zero-knowledge proof-capable spectrum...
- 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 $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research at Northeastern University focused on developing doubly efficient Private Information Retrieval (DEPIR) and fully homomorphic encryption for random-access machines. The key goals of the project are to: 1) achieve practical efficiency for DEPIR and fully homomorphic encryption techniques, 2) explore alternative cryptographic...
- The National Science Foundation (NSF) awarded a $300,000 EAGER grant to the Massachusetts Institute of Technology (MIT) under the NSF Technology, Innovation, and Partnerships program (CFDA 47.084). The project aims to preserve privacy in the use of digital currencies, particularly central bank digital currencies (CBDCs), by developing cryptographic approaches such as pseudonymization, zero-knowledge proofs, and private information retrieval. The research will evaluate design choices for...