@inproceedings{eckert18_heaphopper,
  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 = {Proceedings of the USENIX Security Symposium},
  address   = "Baltimore, MD",
  month     = {August},
  year      = {2018}
}