Title	Information Flow Type System for Proof Carrying Code
Author	Abdulrahman Muthana, Abdul Azim Abd Ghani, Ramlan Mahmod, Hasan Selamat
Citation	Vol. 7  No. 7  pp. 177-183
Keywords	Information-Flow, Proof Carrying Code, Type system, Static Analysis, Noninterference, Assembly Language

Title	The Architectural Review of Web Security in Static and Dynamic Analysis
Author	Raymond Wu, Masayuki Hisada
Citation	Vol. 9  No. 8  pp. 277-286
Keywords	vulnerability, web security, validation, tracking, dominant, static analysis, dynamic analysis, automata

Title	A Lightweight Static Data Race Checker for OpenMP Software
Author	Hend Alshede
Citation	Vol. 26  No. 1  pp. 102-106
Keywords	OpenMP; data race detection; Parallel programming; High-Performance Computing; Static analysis.