TY - GEN
T1 - Automated vulnerability detection for compiled smart grid software
AU - Prowell, S. J.
AU - Pleszkoch, M.
AU - Sayre, K. D.
AU - Linger, R. C.
PY - 2012
Y1 - 2012
N2 - While testing performed with proper experimental controls can provide scientifically quantifiable evidence that software does not contain unintentional vulnerabilities (bugs), it is insufficient to show that intentional vulnerabilities exist, and impractical to certify devices for the expected long lifetimes of use. For both of these needs, rigorous analysis of the software itself is essential. Automated software behavior computation applies rigorous static software analysis methods based on function extraction (FX) to compiled software to detect vulnerabilities, intentional or unintentional, and to verify critical functionality. This analysis is based on the compiled firmware, takes into account machine precision, and does not rely on heuristics or approximations early in the analysis.
AB - While testing performed with proper experimental controls can provide scientifically quantifiable evidence that software does not contain unintentional vulnerabilities (bugs), it is insufficient to show that intentional vulnerabilities exist, and impractical to certify devices for the expected long lifetimes of use. For both of these needs, rigorous analysis of the software itself is essential. Automated software behavior computation applies rigorous static software analysis methods based on function extraction (FX) to compiled software to detect vulnerabilities, intentional or unintentional, and to verify critical functionality. This analysis is based on the compiled firmware, takes into account machine precision, and does not rely on heuristics or approximations early in the analysis.
KW - Smart grids
KW - formal verification
KW - reasoning about programs
KW - vulnerability detection
UR - http://www.scopus.com/inward/record.url?scp=84860850443&partnerID=8YFLogxK
U2 - 10.1109/ISGT.2012.6175814
DO - 10.1109/ISGT.2012.6175814
M3 - Conference contribution
AN - SCOPUS:84860850443
SN - 9781457721588
T3 - 2012 IEEE PES Innovative Smart Grid Technologies, ISGT 2012
BT - 2012 IEEE PES Innovative Smart Grid Technologies, ISGT 2012
T2 - 2012 IEEE PES Innovative Smart Grid Technologies, ISGT 2012
Y2 - 16 January 2012 through 20 January 2012
ER -