| Celestial: A smart contracts verification framework S Dharanikota, S Mukherjee, C Bhardwaj, A Rastogi, A Lal 2021 Formal Methods in Computer Aided Design (FMCAD), 133-142, 2021 | 13 | 2021 |
| Parametric information flow control in ehealth C Bhardwaj, S Prasad 2015 17th International Conference on E-health Networking, Application …, 2015 | 4 | 2015 |
| Only connect, securely C Bhardwaj, S Prasad Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019 | 3 | 2019 |
| Pravah: Parameterised information flow control in e-health C Bhardwaj, S Prasad Scalable Computing: Practice and Experience 17 (3), 171-188, 2016 | 2 | 2016 |
| Systematic information flow control in mHealth systems C Bhardwaj 2015 7th International Conference on Communication Systems and Networks …, 2015 | 2 | 2015 |
| Secure information flow connections C Bhardwaj, S Prasad Journal of Logical and Algebraic Methods in Programming 127, 100761, 2022 | 1 | 2022 |
