Bringing Verification-Aware Languages and Federated Authentication to Enable Secure Computing for a NSF’s Scientific Community

Time Frame


Total Funding to Date



  • Anita Nikolich

This project will enable trusted computing for flagship cyberinfrastructures and their vibrant scientific communities. The project will bring verification-aware languages to provide rigorous mathematical proofs that existing federated authentication implementations are correct, and make rigorous verification an integral part of developing distributed computational science.

security written out with code on a computer

Funding Agencies

  • National Science Foundation, 2023 – $100,000.00