Hi, I am a research scholar in Computer Science and Engineering department. I am currently working in the area of language based security under the supervision of Prof. R K Shyamasundar and Prof. G Sivakumar. My ResearchGate profile can be found here.

Publications

[DBLP] [Google Scholar]
2020   Information Flow Security Certification for SPARK Programs, 34th Annual IFIP Conference on Data and Applications Security and Privacy (DBSec)
Sandip Ghosal and R.K. Shyamasundar.
2019   Compile-Time Security Certification of Imperative Programming Languages, E-Business and Telecommunications, Springer CCIS Volume 1118
Sandip Ghosal, R.K. Shyamasundar and N.V. Narendra Kumar.
2018   A Solution to "Confused Deputy" Problem Using RWFM Labels, 2nd ISEA International Conference on Security & Privacy (ISEA-SP)
Sandip Ghosal and R.K. Shyamasundar.
Static Security Certification of Programs via Dynamic Labelling, 15th International Conference on Security and Cryptography (SECRYPT)
Sandip Ghosal, R.K. Shyamasundar and N.V. Narendra Kumar.
2015   Certificate-based encoding of gate level description for secure transmission, International Journal of Electronic Security and Digital Forensics, Vol 7, Page 54-75
Sandip Ghosal, Debasis Mitra and Subhashis Bhattacharjee.
2012   Secure transmission of gate level description, 1st International Conference on Recent Advances in Information Technology (RAIT)
Sandip Ghosal and Debasis Mitra.