Sandip Ghosal

According to our database, Sandip Ghosal authored at least 13 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Active Learning Approach to Synthesizing Program Contracts.

Sandip Ghosal, Bengt Jonsson, Philipp Rümmer

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2022

Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling.

Sandip Ghosal, R. K. Shyamasundar

Proceedings of the Information Systems Security - 18th International Conference, 2022

2021

Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language.

Sandip Ghosal, R. K. Shyamasundar

CoRR, 2021

An Axiomatic Approach to Detect Information Leaks in Concurrent Programs.

Sandip Ghosal, R. K. Shyamasundar

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

2020

Information Flow Security Certification for SPARK Programs.

Sandip Ghosal, R. K. Shyamasundar

Proceedings of the Data and Applications Security and Privacy XXXIV, 2020

A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.

Sandip Ghosal, R. K. Shyamasundar

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Eigenvalue Based Mutual Coupling Reduction.

Sandip Ghosal, Arijit De, Ajay Chakrabarty

Proceedings of the 89th IEEE Vehicular Technology Conference, 2019

A Dual Band Dual Sense Circularly Polarised Single Feed Microstrip Patch Antenna.

Sandip Ghosal, Raed M. Shubair

Proceedings of the UK/China Emerging Technologies, 2019

2018

A Solution to "Confused Deputy" Problem Using RWFM Labels.

Sandip Ghosal, R. K. Shyamasundar

Proceedings of the Security and Privacy - Second ISEA International Conference, 2018

Static Security Certification of Programs via Dynamic Labelling.

Sandip Ghosal, R. K. Shyamasundar, N. V. Narendra Kumar

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018

2015

Certificate-based encoding of gate level description for secure transmission.

Sandip Ghosal, Debasis Mitra, Subhasis Bhattacharjee

Int. J. Electron. Secur. Digit. Forensics, 2015

2012

Secure transmission of gate level description.

Sandip Ghosal, Debasis Mitra

Proceedings of the 1st International Conference on Recent Advances in Information Technology, 2012

2009

Microfluidics.

Sandip Ghosal

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009