Sandip Ghosal | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

R. K. Shyamasundar
4 publications

research

∙ 03/10/2021

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

Compile-time information flow analysis has been a promising technique fo...

0 Sandip Ghosal, et al. ∙

research

∙ 03/03/2021

An Axiomatic Approach to Detect Information Leaks in Concurrent Programs

Realizing flow security in a concurrent environment is extremely challen...

0 Sandip Ghosal, et al. ∙