HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security

  Link to paper

Authors

Moritz Eckert, Antonio Bianchi, Ruoyu Wang, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna

Venue

27th USENIX Security Symposium (USENIX Security 18), August 2018

BibTeX

@inproceedings{217488,
  title     = {{HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security}},
  author    = {Eckert, Moritz and Bianchi, Antonio and Wang, Ruoyu and Shoshitaishvili, Yan and Kruegel, Christopher and Vigna, Giovanni},
  booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
  month     = {August},
  year      = {2018},
  address   = {Baltimore, MD},
  isbn      = {978-1-931971-46-1},
  pages     = {99--116},
  publisher = {USENIX Association},
  url       = {https://www.usenix.org/conference/usenixsecurity18/presentation/eckert}
}