Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code

Tomonori Izumida, Akira Mori, Masatomo Hashimoto. Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code. In Mário S. Alvim, Stéphanie Delaune, editors, Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 48-53, ACM, 2018. [doi]

@inproceedings{IzumidaMH18,
  title = {Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code},
  author = {Tomonori Izumida and Akira Mori and Masatomo Hashimoto},
  year = {2018},
  doi = {10.1145/3264820.3264826},
  url = {https://doi.org/10.1145/3264820.3264826},
  researchr = {https://researchr.org/publication/IzumidaMH18},
  cites = {0},
  citedby = {0},
  pages = {48-53},
  booktitle = {Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018},
  editor = {Mário S. Alvim and Stéphanie Delaune},
  publisher = {ACM},
  isbn = {978-1-4503-5993-1},
}