@inproceedings{RM12,
title = {Finding Buffer Overflow Inducing Loops in Binary Executables },
author = {Rawat, Sanjay and Mounier, Laurent},
year = {2012},
booktitle = {Proceedings of Sixth International Conference on Software Security and Reliability (SERE)},
address = {Gaithersburg, Maryland, USA},
pages = {177-186},
publisher = {IEEE},
team = {DCS,PACSS},
}