Detecting overflow vulnerabilities using automated verification
Brian A. Malloy, Murali Sitaraman, Jason O. Hallstrom · 2009
Maintaining the security of our computer systems has become one of the dominant aspects of the war on terror and many researchers and developers predict that the next attack against the United States will be a computer at-