@misc{indiciae5b4710c015f7,
  title = {System M: A Program Logic for Code Sandboxing and Identification},
  author = {Limin Jia and Shayak Sen and Deepak Garg and Anupam Datta},
  year = {2015},
  url = {https://arxiv.org/abs/1501.05673},
  note = {Source identifier: 1501.05673}
}