TY  - RPRT
TI  - Compositional Security for Reentrant Applications
AU  - Ethan Cecchetti
AU  - Siqiu Yao
AU  - Haobin Ni
AU  - Andrew C. Myers
PY  - 2021
DO  - 10.1109/sp40001.2021.00084
UR  - https://arxiv.org/abs/2103.08577
ID  - 2103.08577
ER  -