Systematic information flow control in mHealth systems. - Chandrika Bhardwaj (COMSNETS, 2015)

Parametric information flow control in ehealth. - Chandrika Bhardwaj; Sanjiva Prasad (HealthCom, 2015)

Pravah: Parameterised Information Flow Control in e-Health. - Chandrika Bhardwaj; Sanjiva Prasad (Scalable Comput. Pract. Exp., 2016)

Only Connect, Securely. - Chandrika Bhardwaj; Sanjiva Prasad (FORTE, 2019)

Celestial: A Smart Contracts Verification Framework. - Samvid Dharanikota; Suvam Mukherjee; Chandrika Bhardwaj; Aseem Rastogi; Akash Lal (FMCAD, 2021)

Secure information flow connections. - Chandrika Bhardwaj; Sanjiva Prasad (J. Log. Algebraic Methods Program., 2022)