Precise Static Analysis of Untrusted Driver Binaries (bibtex)
by Johannes Kinder, Helmut Veith
Reference:
Precise Static Analysis of Untrusted Driver BinariesJohannes Kinder, Helmut VeithProceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2010) (Roderick Bloem, Natasha Sharygina, eds.), pages 43-50, October 2010.
Bibtex Entry:
@inproceedings{KinderVeith-fmcad2010,
  author = {Johannes Kinder and Helmut Veith},
  title = {Precise Static Analysis of Untrusted Driver Binaries},
  month = {October},
  year = {2010},
  booktitle = {Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2010)},
  editor = {Roderick Bloem and Natasha Sharygina},
  pages = {43-50}
}
Powered by bibtexbrowser