@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},
}