Chandrika Bhardwaj

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 6

Top Topics

Information Flow

Multi Context Systems

Parametric Models

Top Venues

J. Log. Algebraic Methods Program.

Publications

Chandrika Bhardwaj, Sanjiva Prasad
Secure information flow connections. J. Log. Algebraic Methods Program. 127 (2022)
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
Celestial: A Smart Contracts Verification Framework. FMCAD (2021)
Chandrika Bhardwaj, Sanjiva Prasad
Secure Information Flow Connections. CoRR (2020)
Chandrika Bhardwaj, Sanjiva Prasad
Only Connect, Securely. CoRR (2019)
Chandrika Bhardwaj, Sanjiva Prasad
Only Connect, Securely. FORTE (2019)
Chandrika Bhardwaj, Sanjiva Prasad
Pravah: Parameterised Information Flow Control in e-Health. Scalable Comput. Pract. Exp. 17 (3) (2016)
Chandrika Bhardwaj
Systematic information flow control in mHealth systems. COMSNETS (2015)
Chandrika Bhardwaj, Sanjiva Prasad
Parametric information flow control in ehealth. HealthCom (2015)