Follow
Md Imran Alam
Title
Cited by
Cited by
Year
A Symbolic Model Checker for Database Programs.
A Jana, MI Alam, R Halder
ICSOFT, 381-388, 2018
72018
K-Taint: an executable rewriting logic semantics for taint analysis in the K framework
M Alam, R Halder, H Goswami, JS Pinto
SciTePress, 2018
32018
A deductive reasoning approach for database applications using verification conditions
MI Alam, R Halder, JS Pinto
Journal of Systems and Software 175, 110903, 2021
22021
Refining dependencies for information flow analysis of database applications.
MI Alam, R Halder
Int. J. Trust. Manag. Comput. Commun. 3 (3), 193-223, 2016
22016
Data-centric refinement of information flow analysis of database applications
M Alam, R Halder
International Symposium on Security in Computing and Communication, 506-518, 2015
22015
Formal Verification of Database Applications Using Predicate Abstraction
MI Alam, R Halder
SN Computer Science 2 (3), 1-24, 2021
12021
Tailoring Taint Analysis for Database Applications in the K Framework.
MI Alam, R Halder
DATA, 370-377, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–7