Sandip Ghosal

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 11

Top Topics

Concurrent Programs

Dielectric Constant

Top Venues

Publications

Sandip Ghosal, Bengt Jonsson, Philipp Rümmer
An Active Learning Approach to Synthesizing Program Contracts. SEFM (2023)
Sandip Ghosal, R. K. Shyamasundar
Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling. ICISS (2022)
Sandip Ghosal, R. K. Shyamasundar
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. CoRR (2021)
Sandip Ghosal, R. K. Shyamasundar
Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language. CoRR (2021)
Sandip Ghosal, R. K. Shyamasundar
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. ICSE (NIER) (2021)
Sandip Ghosal, R. K. Shyamasundar
Information Flow Security Certification for SPARK Programs. DBSec (2020)
Sandip Ghosal, R. K. Shyamasundar
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs. APSEC (2020)
Sandip Ghosal, Raed M. Shubair
A Dual Band Dual Sense Circularly Polarised Single Feed Microstrip Patch Antenna. UCET (2019)
Sandip Ghosal, Arijit De, Ajay Chakrabarty
Eigenvalue Based Mutual Coupling Reduction. VTC Spring (2019)
Sandip Ghosal, R. K. Shyamasundar
A Solution to "Confused Deputy" Problem Using RWFM Labels. ISEA-ISAP (2018)
Sandip Ghosal, R. K. Shyamasundar, N. V. Narendra Kumar
Static Security Certification of Programs via Dynamic Labelling. ICETE (2) (2018)
Sandip Ghosal, Debasis Mitra, Subhasis Bhattacharjee
Certificate-based encoding of gate level description for secure transmission. Int. J. Electron. Secur. Digit. Forensics 7 (1) (2015)
Sandip Ghosal, Debasis Mitra
Secure transmission of gate level description. RAIT (2012)