BinHunt: Automatically Finding Semantic Differences in Binary Programs

Debin Gao, Michael K. Reiter, Dawn Xiaodong Song. BinHunt: Automatically Finding Semantic Differences in Binary Programs. In Liqun Chen, Mark Dermot Ryan, Guilin Wang, editors, Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings. Volume 5308 of Lecture Notes in Computer Science, pages 238-255, Springer, 2008. [doi]

Authors

Debin Gao

This author has not been identified. It may be one of the following persons: Look up 'Debin Gao' in Google

Michael K. Reiter

This author has not been identified. Look up 'Michael K. Reiter' in Google

Dawn Xiaodong Song

This author has not been identified. Look up 'Dawn Xiaodong Song' in Google