1. Automated program analysis for cybersecurity (apac), July 2011.
https://www.fbo.gov/index?s=opportunity&mode=form&id=a14e4533c2a44c3288b6a29fa6fc5841&tab=core&_cview=1
2. Android 4.4.4 (kitkat), May 2015.
http://www.android.com/versions/kit-kat-4-4/
3. Extensible common software graph, March 2015.
http://ensoftatlas.com/wiki/Extensible_Common_Software_Graph
4. Lecture Notes in Computer Science;K Ali,2012
5. Lecture Notes in Computer Science;K Ali,2013