Ministry of Education
Md Imran Alam
VIDWAN ID: 596744

Dr Md Imran Alam

Male Doctor of Philosophy
Assistant Professor | Department of Computer Science and Engineering
LNM Institute of Information Technology, Jaipur
ORCID 0000-0003-2700-4127 Scopus 57203752729
View older version My Dashboard
10 Publications
0 Projects
24 Scopus Citations
17 CrossRef
4 Years 4 Months Total Experience
Publications
10 Total
Articles
3
Chapters
2
Proceedings
5
Activity

No publication activity to display.

Scopus Scopus
24 Citations
3 h-index
CrossRef CrossRef
17 Citations
2 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
2021
Jamia Millia Islamia
Assistant Professor
May 2022 – Present
LNM Institute of Information Technology, Jaipur | Department of Computer Science and Engineering
No Information Available

No expertise information is available at this time.

Related Profiles

Experts (0)

No Data Found

There is currently nothing to display here.

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Uncovering Network Vulnerabilities and Conducting Digital Forensics Analysis for IoT Device Security in 6G

Conference Paper
Year: 2023. Pages: 1-6 .
Authors: Siddiqui, S.T.; Shahid Kamal, M.; Qidwai, K.A.; Imran Alam, M.; Khan, H.; Alam, M.Z.; Budhiraja, I.; Chintham, S.
DOI 10.1109/ANTS59832.2023.10469094 Crossref Crossref: 1 Scopus Scopus: 2

Formal verification and code generation for solidity smart contracts

Book Chapter
Year: 2023. Pages: 125-144 .
Authors: Neeraj Kumar Singh; Akshay M. Fajge; Raju Halder; Md. Imran Alam
DOI 10.1016/B978-0-323-96146-2.00028-0 Crossref Crossref: 7 Scopus Scopus: 8

Analyzing information flow in solidity smart contracts

Book Chapter
Year: 2023. Pages: 105-123 .
Authors: Raju Halder; Md. Imran Alam; Akshay M. Fajge; Neeraj Kumar Singh; Agostino Cortesi
DOI 10.1016/B978-0-323-96146-2.00024-3 Crossref Crossref: 2 Scopus Scopus: 2

Formal Verification of Database Applications Using Predicate Abstraction

Journal Article
SN Computer Science. Year: 2021. Volume: 2 , Issue: 3 .
Authors: Md Imran Alam; Raju Halder
DOI 10.1007/s42979-020-00426-2 Crossref Crossref: 2 Scopus Scopus: 4

A deductive reasoning approach for database applications using verification conditions

Journal Article
Journal of Systems and Software. Year: 2021. Volume: 175 .
Authors: Md. Imran Alam; Raju Halder; Jorge Sousa Pinto
DOI 10.1016/j.jss.2020.110903 Crossref Crossref: 4 Scopus Scopus: 6

Tailoring taint analysis for database applications in the K framework

Open Access
Conference Paper
Year: 2021. Pages: 370-377 .
Authors: Md. Alam; Raju Halder
DOI 10.5220/0010618603700377

A symbolic model checker for database programs

Conference Paper
Year: 2019. Pages: 347-354 .
Authors: Angshuman Jana; Md. Imran Alam; Raju Halder
DOI 10.5220/0006913003470354

K-taint: An executable rewriting logic semantics for taint analysis in the K framework

Open Access
Conference Paper
Year: 2018. Volume: 2018-March , Pages: 359-366 .
Authors: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto
DOI 10.5220/0006786603590366 Crossref Crossref: 1 Scopus Scopus: 2
Showing 1 to 8 of 10 publications