2534400↗

SATC 2.0: RES: FOUNDATIONS OF QUANTUM CRYPTOGRAPHY -RECENT YEARS HAVE WITNESSED RAPID PROGRESS IN BUILDING LARGE-SCALE QUANTUM COMPUTERS, THE EXISTENCE OF WHICH COULD MAKE CURRENT CRYPTOGRAPHIC TOOLS FOR PROTECTING ONLINE COMMUNICATION, FINANCIAL TRANSACTIONS, MEDICAL RECORDS, AND GOVERNMENT SYSTEMS INEFFECTIVE. THIS PROJECT STUDIES HOW TO OBTAIN SECURITY IN A FUTURE WHERE POWERFUL QUANTUM COMPUTERS EXIST, WHETHER THEY ARE FIRST USED BY ATTACKERS, OFFERED FOR CUSTOMERS THROUGH REMOTE COMPUTING SERVICES, OR EVENTUALLY BECOME WIDELY AVAILABLE SERVICES. THE PROJECT WILL DEVELOP THE FOUNDATIONS NEEDED TO PROTECT DATA AND COMPUTATION IN EACH OF THESE SETTINGS AND TO IDENTIFY NEW SECURITY CAPABILITIES THAT QUANTUM INFORMATION SCIENCE MAY ENABLE. THE RESULTS CAN HELP SECURE COMMUNICATIONS, COMMERCE, AND HEALTH CARE AGAINST FUTURE ATTACKS, WHILE ALSO MAKING IT SAFER FOR INDIVIDUALS AND ORGANIZATIONS TO RELY ON REMOTE QUANTUM SERVICES. THE PROJECT PURSUES FOUR CONNECTED RESEARCH DIRECTIONS IN THE FOUNDATIONS OF QUANTUM CRYPTOGRAPHY. FIRST, IT WILL STUDY THE REAL CAPABILITIES OF QUANTUM COMPUTERS FOR BREAKING CRYPTOSYSTEMS BY IMPROVING ALGORITHMS, CONCRETE RESOURCE ESTIMATES, AND ERROR-CORRECTION METHODS, WITH THE GOAL OF DETERMINING WHEN LARGE-SCALE CODE-BREAKING ATTACKS MAY BECOME PRACTICAL. SECOND, IT WILL BROADEN THE BASIS OF POST-QUANTUM CRYPTOGRAPHY BY CONSTRUCTING ADVANCED CRYPTOGRAPHIC PRIMITIVES, SUCH AS HOMOMORPHIC ENCRYPTION, FROM ALTERNATIVES TO LATTICE-BASED HARDNESS. THE PROJECT WILL ALSO ADVANCE THIS FIELD BY DEVELOPING PROOF TECHNIQUES THAT REMAIN SOUND AGAINST QUANTUM ATTACKERS. THIRD, IT WILL INVESTIGATE HOW A CLASSICAL USER CAN DELEGATE COMPUTATION TO A QUANTUM SERVER AND STILL VERIFY CORRECTNESS, INCLUDING STUDYING THE MINIMAL ASSUMPTIONS FOR VERIFIABLE DELEGATION, AND CONSTRUCTING SUCCINCT AND PUBLICLY VERIFIABLE PROOFS THAT A QUANTUM COMPUTATION WAS CARRIED OUT CORRECTLY. FOURTH, IT WILL STUDY UNIQUELY QUANTUM CAPABILITIES, INCLUDING QUANTUM MONEY, QUANTUM COPY PROTECTION, QUANTUM ONE-TIME PROGRAMS, AND RELATED FORMS OF QUANTUM PROGRAM OBFUSCATION. TOGETHER, THESE ACTIVITIES AIM TO DEEPEN THE THEORY OF SECURE COMMUNICATION AND COMPUTATION IN A QUANTUM WORLD. THIS AWARD REFLECTS NSF'S STATUTORY MISSION AND HAS BEEN DEEMED WORTHY OF SUPPORT THROUGH EVALUATION USING THE FOUNDATION'S INTELLECTUAL MERIT AND BROADER IMPACTS REVIEW CRITERIA.- SUBAWARDS ARE NOT PLANNED FOR THIS AWARD.

Project Grant (B) · National Science Foundation · to Massachusetts Institute of Technology (UEI E2NYLCDML6V1) · data as of 2026-09-30

Source: USAspending.gov prime award transactions and FSRS subaward reports, as loaded by SpendQuery (data as of 2026-09-30). Amounts are obligations (money committed), not outlays. The official record on USAspending.gov ↗