Automated vulnerability detection for compiled smart grid software | IEEE Conference Publication | IEEE Xplore