Detecting overflow vulnerabilities using automated verification

Authors:
Brian A. Malloy;Murali Sitaraman;Jason O. Hallstrom
Affiliations:
Clemson University, Clemson, SC;Clemson University, Clemson, SC;Clemson University, Clemson, SC
Venue:
Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies
Year:
2009

Citing 2
Cited 0

Efficient memory safety for TinyOS

Proceedings of the 5th international conference on Embedded networked sensor systems
Isabelle/HOL: a proof assistant for higher-order logic

Isabelle/HOL: a proof assistant for higher-order logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 attack [5, 9, 11]. The Department of Homeland Security has established a partnership with industry, the United States Computer Readiness Team (US-CERT), to protect the nation's Internet infrastructure [2]. The US-CERT sponsors an automated, web-based repository of standards based vulnerability data (NVD), which includes a database of security related software flaws [3].