Angshuman Jana

Data-centric Refinement of Database-Database Dependency Analysis of Database Program

Angshuman Jana, Angshuman Jana, 2020, ICSOFT.

Code-based Analysis Approach to Detect and Prevent SQL Injection Attacks

Angshuman Jana, Dipendu Maity, D. Maity, 2020, 2020 11th International Conference on Computing, Communication and Networking Technologies (ICCCNT).

On Preventing SQL Injection Attacks

Angshuman Jana, Raju Halder, Bharat Kumar Ahuja, 2015, ACSS.

Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain

Agostino Cortesi, Angshuman Jana, Raju Halder, 2016, Trans. Large Scale Data Knowl. Centered Syst..

A Symbolic Model Checker for Database Programs

Angshuman Jana, Raju Halder, Md. Imran Alam, 2018 .

Input-based Analysis Approach to Prevent SQL Injection Attacks

Angshuman Jana, Dipendu Maity, Priyam Bordoloi, 2020, 2020 IEEE Region 10 Symposium (TENSYMP).

A new approach of text steganography based on mathematical model of number system

Vineet Agarwal, Angshuman Jana, Kunal Kumar Mandal, 2014, 2014 International Conference on Circuits, Power and Computing Technologies [ICCPCT-2014].

A Symbolic Model Checker for Database Programs

Angshuman Jana, Raju Halder, Md. Imran Alam, 2018, ICSOFT.

Extending Abstract Interpretation to Dependency Analysis of Database Applications

Agostino Cortesi, Angshuman Jana, Raju Halder, 2020, IEEE Transactions on Software Engineering.

Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications

Angshuman Jana, Raju Halder, 2016, ICISS.

Policy-Based Slicing of Hibernate Query Language

Agostino Cortesi, Nabendu Chaki, Angshuman Jana, 2015, CISIM.

Verification of Hibernate Query Language by Abstract Interpretation

Agostino Cortesi, Angshuman Jana, Raju Halder, 2015, IScIDE.