TY  - RPRT
TI  - Formal Analysis of the API Proxy Problem
AU  - Somesh Jha
AU  - Mihai Christodorescu
AU  - Anh Pham
PY  - 2023
UR  - https://arxiv.org/abs/2302.13525
ID  - 2302.13525
ER  -