Combining control-flow integrity and static analysis for efficient and validated data sandboxing

Bin Zeng 0004, Gang Tan, Greg Morrisett. Combining control-flow integrity and static analysis for efficient and validated data sandboxing. In Yan Chen, George Danezis, Vitaly Shmatikov, editors, Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011. pages 29-40, ACM, 2011. [doi]

@inproceedings{ZengTM11,
  title = {Combining control-flow integrity and static analysis for efficient and validated data sandboxing},
  author = {Bin Zeng 0004 and Gang Tan and Greg Morrisett},
  year = {2011},
  doi = {10.1145/2046707.2046713},
  url = {http://doi.acm.org/10.1145/2046707.2046713},
  researchr = {https://researchr.org/publication/ZengTM11},
  cites = {0},
  citedby = {0},
  pages = {29-40},
  booktitle = {Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011},
  editor = {Yan Chen and George Danezis and Vitaly Shmatikov},
  publisher = {ACM},
  isbn = {978-1-4503-0948-6},
}