TY  - RPRT
TI  - Compositional Vulnerability Detection with Insecurity Separation Logic (Extended Version)
AU  - Toby Murray
AU  - Pengbo Yan
AU  - Gidon Ernst
PY  - 2023
UR  - https://arxiv.org/abs/2107.05225
ID  - 2107.05225
ER  -