TY  - RPRT
TI  - System M: A Program Logic for Code Sandboxing and Identification
AU  - Limin Jia
AU  - Shayak Sen
AU  - Deepak Garg
AU  - Anupam Datta
PY  - 2015
UR  - https://arxiv.org/abs/1501.05673
ID  - 1501.05673
ER  -