Sandip Ghosal

17 papers B 2C 1Misc 2Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
From Data to Dynamics: A Control-Theoretic Approach for MIMO Channel Modeling.
IEEE Commun. Lett.
Haridas H. Venkatesh, Siddhartha S. Roy, Sandip Ghosal
2025 Misc conf
Physics Driven Analysis of STAR-RIS Based Communication.
COMSNETS
Durga Prasad Purbey, Sandip Ghosal, Arijit De
2024 — conf
Via Assisted Dual-Band Array With High Isolation.
VTC Fall
Durga Prasad Purbey, Sandip Ghosal, Arijit De
2023 B conf
An Active Learning Approach to Synthesizing Program Contracts.
SEFM
Sandip Ghosal, Bengt Jonsson, Philipp Rümmer
2022 Misc conf
Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling.
ICISS
Sandip Ghosal, R. K. Shyamasundar
2021 — conf
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs.
ICSE (NIER)
Sandip Ghosal, R. K. Shyamasundar
2021 J jnl
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs.
CoRR
Sandip Ghosal, R. K. Shyamasundar
2021 J jnl
Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language.
CoRR
Sandip Ghosal, R. K. Shyamasundar
2020 C conf
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.
APSEC
Sandip Ghosal, R. K. Shyamasundar
2020 B conf
Information Flow Security Certification for SPARK Programs.
DBSec
Sandip Ghosal, R. K. Shyamasundar
2019 — conf
A Dual Band Dual Sense Circularly Polarised Single Feed Microstrip Patch Antenna.
UCET
Sandip Ghosal, Raed M. Shubair
2019 — conf
Eigenvalue Based Mutual Coupling Reduction.
VTC Spring
Sandip Ghosal, Arijit De, Ajay Chakrabarty
2018 — conf
A Solution to "Confused Deputy" Problem Using RWFM Labels.
ISEA-ISAP
Sandip Ghosal, R. K. Shyamasundar
2018 — conf
Static Security Certification of Programs via Dynamic Labelling.
ICETE (2)
Sandip Ghosal, R. K. Shyamasundar, N. V. Narendra Kumar
2015 J jnl
Certificate-based encoding of gate level description for secure transmission.
Int. J. Electron. Secur. Digit. Forensics
Sandip Ghosal, Debasis Mitra, Subhasis Bhattacharjee
2012 — conf
Secure transmission of gate level description.
RAIT
Sandip Ghosal, Debasis Mitra
2009 — ch.
Microfluidics.
Encyclopedia of Complexity and Systems Science
Sandip Ghosal