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]

Authors

Tomonori Izumida

This author has not been identified. Look up 'Tomonori Izumida' in Google

Akira Mori

This author has not been identified. Look up 'Akira Mori' in Google

Masatomo Hashimoto

This author has not been identified. Look up 'Masatomo Hashimoto' in Google