Shubham Sharma

Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS

Sandeep K. Shukla, Medha Atre, Shubham Sahai, 2020, 2020 IEEE International Conference on Blockchain (Blockchain).

Symmetric Component Caching for Model Counting on Combinatorial Instances

Kuldeep S. Meel, Timothy van Bremen, Subhajit Roy, 2021, AAAI.

CERTIFAI: A Common Framework to Provide Explanations and Analyse the Fairness and Robustness of Black-box Models

Jette Henderson, Joydeep Ghosh, Shubham Sharma, 2020, AIES.

Explainable machine learning in deployment

Ankur Taly, Joydeep Ghosh, Yunhan Jia, 2020, FAT*.

Correction to: $$\mathsf {WAPS}$$ : Weighted and Projected Sampling

Subhajit Roy, Shubham Sharma, Kuldeep S. Meel, 2019, Tools and Algorithms for the Construction and Analysis of Systems.