A novel GPU-accelerated strategy for contingency screening of static security analysis. (December 2016)