An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries (bibtex)
by Johannes Kinder, Florian Zuleger, Helmut Veith
Reference:
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from BinariesJohannes Kinder, Florian Zuleger, Helmut VeithProceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, January 2009, Springer.
Bibtex Entry:
@inproceedings{KinderZulegerVeith-vmcai09,
  author = {Johannes Kinder and Florian Zuleger and Helmut Veith},
  title = {An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries},
  month = {January},
  year = {2009},
  address = {Savannah, GA, USA},
  booktitle = {Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)},
  editor = {Neil D.~Jones and Markus M{\"u}ller-Olm},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5403}
}
Powered by bibtexbrowser