Birla Institute of Technology, Mesra
Faculty Image

Dr. Sandip Ghosal

Joined Institute on : 24-May-2024

  • Assistant Professor
  • Computer Science and Engg
  • PhD (IIT Bombay), MTech (NIT Durgapur), Postdoc (Uppsala University, Sweden)
Contact Address

FS 11, Second Floor R&D Building, Dept. of CSE, BIT Mesra

B. Garden, Shibpur, Howrah, West Bengal

  • Phone Office - --
  • Phone Residence - --
  • Email - sandip.ghosal@bitmesra.ac.in
Work Experience
Research : 4.25 Years

Individual: 2 Years
Professional Background

Teaching Experience:

  1. Assistant Professor, BIT Mesra, May 2024 – Present

Postdoctoral Experience:

  1. Postdoctoral Researcher, Uppsala University, Sweden, Dec 2021-March 2024
  2. Postdoctoral Fellow, IIT Bombay, April 2021 – Dec 2021

Other Research Experience:

  1. NASI Research Associate, IIT Bombay, Jan 2021 – March 2021
  2. Research Assistant, IIT Bombay, Jan 2014 – Dec 2014

Industry Experience:

  1. AtoS India, Pune, Software Engineer, Aug 2012 – Dec 2013
Research Areas

Information Security, Formal Verification and Testing
Publications

Conference:

  1. Sandip Ghosal, Bengt Jonsson, Philipp Ruemmer, “An Active Learning Approach to Synthesizing Program Contracts”, In Proceedings of 21st International Conference on Software Engineering and Formal Methods (SEFM’23), Springer LNCS Vol. 14323, Page 126–144, Eindhoven, The Netherlands, 2023. [DOI]
  2. Sandip Ghosal, and R. K. Shyamasundar, “Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling”, In Book Information Systems Security, Springer, Proceedings of 18th International Conference on Information Systems Security (ICISS’22), Page 202–219, IIT Tirupati, December 16-20, 2022. [DOI]
  3. Sandip Ghosal, and R. K. Shyamasundar, “An Axiomatic Approach to Detect Information Leaks in Concurrent Programs”, In Proceedings of 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE’21), Page 31 – 35, Madrid, Spain (Virtual), May, 2021. [DOI]
  4. Sandip Ghosal, and R. K. Shyamasundar, “A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs”, In Proceedings of 27th Asia-Pacific Software Engineering Conference, (APSEC’20), Page 51–60, Singapore (Virtual), December, 2020. [DOI]
  5. Sandip Ghosal, and R. K. Shyamasundar, “Information Flow Security Certification for SPARK Programs”, In Proceedings of 34th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec’20), Page 137–150, Regensburg, Germany (Virtual), June 25–26, 2020.[DOI]
  6. Sandip Ghosal, and R. K. Shyamasundar, “A Solution to “Confused Deputy” Problem Using RWFM Labels”, In Proceedings of 2nd ISEA International Conference on Security and Privacy, (ISEA-SP’18), Page 67–76, Jaipur, India, January 2019. [DOI]
  7. Sandip Ghosal, R. K. Shyamasundar, and NV Narendra Kumar, “Static Security Certification of Programs via Dynamic Labelling”, In Proceedings of 15th International Conference on Security and Cryptography (SECRYPT’18), Page 400 – 411, Porto, Portugal, July 2018. [DOI]
  8. Sandip Ghosal, and Debasis Mitra, “Secure transmission of gate level description”, In Proceedings of 1st International Conference on Recent Advances in Information Technology (RAIT'12), Page 157-162, 2012. [DOI]

 

Journal:

  1. Sandip Ghosal, Debasis Mitra, and Subhasis Bhattacharjee, “Certificate--based encoding of gate level description for secure transmission”, International Journal of Electronic Security and Digital Forensics (IJESDF), 7(1), Page 54-75, 2015 (Scopus Indexed) [DOI]

Book Chapter:

  1. Sandip Ghosal, R. K. Shyamasundar, and NV Narendra Kumar, “Compile-Time Security Certification of Imperative Programming Languages”, In Book E-Business and Telecommunications, Revised Selected Papers of 15th International Joint Conference (ICETE’18), Page 159 – 182, Springer CCIS Vol. 1118, 2019. [DOI]