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

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.