Chandrika Bhardwaj

According to our database, Chandrika Bhardwaj authored at least 6 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Secure information flow connections.

Chandrika Bhardwaj, Sanjiva Prasad

J. Log. Algebraic Methods Program., 2022

2021

Celestial: A Smart Contracts Verification Framework.

Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal

Proceedings of the Formal Methods in Computer Aided Design, 2021

2019

Only Connect, Securely.

Chandrika Bhardwaj, Sanjiva Prasad

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2016

Pravah: Parameterised Information Flow Control in e-Health.

Chandrika Bhardwaj, Sanjiva Prasad

Scalable Comput. Pract. Exp., 2016

2015

Parametric information flow control in ehealth.

Chandrika Bhardwaj, Sanjiva Prasad

Proceedings of the 17th International Conference on E-health Networking, 2015

Systematic information flow control in mHealth systems.

Chandrika Bhardwaj

Proceedings of the 7th International Conference on Communication Systems and Networks, 2015