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

该论文针对 AWS Cognito 服务中跨服务缺陷的识别与形式化验证问题展开研究。AWS Cognito 作为一项用户身份与访问管理服务，常与 API Gateway、Lambda 等其他 AWS 服务集成，这种跨服务组合可能引入安全漏洞

历史摘要 · 未重新核验 · IEEE S&P