Project Grant 2504579
Award Date
7/1/25
Completion Date
6/30/28
Dollars Obligated
$300K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Madison, WI 53715, USA
Similar Awards
This Project Grant award of $592,500.00 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The award, effective July 1, 2025 through June 30, 2028, supports collaborative research at the University of Maryland, College Park to develop programming abstractions, security reasoning techniques, and performance analysis methods for non-interactive zero-knowledge (NIZK) proof systems. The project aims to...
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is funding a collaborative research initiative to develop an automated framework for designing and deploying parallel zero-knowledge proof (ZKP) protocols. The $299,499 award to Northwestern University aims to advance the practical application of ZKP protocols, which allow parties to verify the correctness of a statement without revealing...
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 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 $193,399 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) program will fund research at New York University (NYU) to strengthen the foundations of computational intractability needed for robust cryptography. The primary goal is to explore novel resource-constrained adversarial models to improve cryptographic security and foundations, including aims to achieve improved cryptographic hardness amplification and...
This Project Grant award for $600,000 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The project, titled "SATC: CORE: SMALL: NEW ADVANCES IN BLIND SIGNATURES AND ANONYMOUS CREDENTIALS", aims to develop new privacy-preserving authentication techniques that reveal only the minimum necessary information. The key objectives are to advance the theory of blind signatures and...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $367,867 to George Mason University to research and develop encrypted systems with fine-grained leakage. The project aims to introduce a new paradigm for encrypted systems that provides scalable, practical performance while offering rigorous guarantees against data reconstruction by adversaries. Key focus areas include: 1) exploring techniques...
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 of $599,725.00 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports the development of a system for verifiable fully homomorphic encryption (FHE). The project aims to enable privacy-preserving data sharing and analysis by designing near-zero-cost verifiable algorithms for linear operations in FHE-enabled encrypted computations, integrating an integrity-only trusted execution environment...
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...