C-Verifier: Understanding and Formally Verifying Cross-Service Flaws in AWS Cognito.

Zhen Chen, Ze Jin, Le Gong, Kexin Chen, Xiangyi Zeng, Qixu Liu

Browse the full SP paper archive.