Zhen Chen, Ze Jin, Le Gong, Kexin Chen, Xiangyi Zeng, Qixu Liu. C-Verifier: Understanding and Formally Verifying Cross-Service Flaws in AWS Cognito. In IEEE Symposium on Security and Privacy, SP 2026, San Francisco, CA, USA, May 18-21, 2026. pages 1692-1709, IEEE, 2026. [doi]
Abstract is missing.