Dr. Angshuman Jana Assistant Professor (CSE)
PhD (IIT Patna) Department of Computer Science & Engineering- angshuman@iiitg.ac.in
Joined the Institute in July 2019
About
I am an Assistant Professor in the Department of Computer Science and Engineering at Indian Institute of Information Technology, Guwahati. I joined IIITG in July, 2019. I received B.Tech. degree in CSE from West Bengal University of Technology, Kolkata; M.Tech. degree in CSE from National Institute of Technology, Durgapur; and Ph.D. degree in CSE from IIT Patna, in 2011, 2013, and 2019, respectively. I was a Visiting Faculty at Motilal Nehru National Institute of Technology Allahabad from 1st January 2019 to 30th June 2019.
Research Interests
Formal Methods, Programming Languages, Static Analysis and Verification, Information Flow Security Analysis, Abstract Interpretation, Model checking.
Teaching:
At IIITG, I teach:
Semantic Web Technology
Software Engineering
Formal Languages and Automata Theory
Publication
-
Journal
- Angshuman Jana, Raju Halder, K. V. Abhishekh, S. D. Ganni, and Agostino Cortesi, "Extending Abstract Interpretation to Dependency Analysis of Database Applications", IEEE Transactions on Software Engineering,VOL. 46, (2020), pages. 463 - 494, IEEE
- Raju Halder, Angshuman Jana and Agostino Cortesi, "Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain", Transactions on Large-Scale Data- and Knowledge-Centered Systems,VOL. 23, (2016), pages. 23-44, Springer
Conference
- Angshuman Jana, Md. Imran Alam, and Raju Halder, "A Symbolic Model Checker for Database Programs", Proc. of the 13th International Conference on Software Technologies (ICSOFT '18), Porto, Portugal, (2018), pages. 26-28, SciTePress
- Angshuman Jana and Raju Halder, "Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications", Proc. of the 12th International Conference on Information Systems Security (ICISS'16), MNIT Jaipur, India, 16-20 Dec, (2016), pages. 151-171, Springer LNCS
- Angshuman Jana and Raju Halder, "SemDDA: A Semantics-based Database Dependency Analyzer", Appeared in the Poster Session of the 14th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '16), IIT Kanpur, India, 18-20 Nov, (2016),
- Angshuman Jana, Raju Halder and Agostino Cortesi., "Verification of Hibernate Query Language by Abstract Interpretation", Proc. of the 5th International Conference on Intelligence Science and Big Data Engineering (IScIDE '15),Suzhou, China, 14-16 June, (2015), pages. 116-128, Springer LNCS 9243.
- Angshuman Jana, Raju Halder, Nabendu Chaki and Agostino Cortesi, "Policy-based Slicing of Hibernate Query Language", Proc. of the 14th International Conference on Computer Information Systems and Industrial Management Applications (CISIM '15),Warsaw, Poland, 24-26 September, (2015), pages. 267-281, Springer LNCS 9339.
- Bharat Kumar Ahuja, Angshuman Jana, Ankit Swarnkar, and Raju Halder, "On Preventing SQL Injection Attacks", In R. Chaki, A. Cortesi, K. Saeed, and N. Chaki (Eds.), Advanced Computing and Systems for Security, (2015), pages. 49-64, Springer AISC 395, (Best Paper Award)
- Angshuman Jana Raju Halder and Agostino Cortesi, "Abstract Interpretation of Hibernate Query Language", Appear in Student Poster Session and Student Research Competition in 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '15), Mumbai, India, 12-18 Jan, (2015),
- Kunal Kumar Mandal, Angshuman Jana and Vineet Agarwal, "A New Approach of Text Steganography Based on Mathematical Model of NumberSystem", Proc. of the 3rd International Conference on Circuit, Power andComputing Technologies (ICCPCT ' 2014), (2014), pages. 1-5, Noorul Islam University, TamilNadu, India,IEEE