1. Klocwork source code analysis (2001). http://www.klocwork.com
2. Coverity static analysis (2002). http://www.coverity.com
3. Space/time analysis for cybersecurity (2015). http://www.darpa.mil/program/space-time-analysis-for-cybersecurity . Accessed Mar 2016
4. Software side channel vulnerabilities repository (2017). https://github.com/kcsl/SSCV/ . Accessed 18 Aug 2017
5. Lecture Notes in Computer Science;N Benger,2014