Shubham Sharma
Shubham Sharma
Member of Technical Staff at Nutanix
No verified email - Homepage
Title
Cited by
Cited by
Year
GANAK: A Scalable Probabilistic Exact Model Counter.
S Sharma, S Roy, M Soos, KS Meel
IJCAI 19, 1169-1176, 2019
182019
Knowledge Compilation meets Uniform Sampling.
S Sharma, R Gupta, S Roy, KS Meel
LPAR, 620-636, 2018
132018
: Weighted and Projected Sampling
R Gupta, S Sharma, S Roy, KS Meel
International Conference on Tools and Algorithms for the Construction and …, 2019
112019
Verity: Blockchains to detect insider attacks in DBMS
SS Srivastava, M Atre, S Sharma, R Gupta, SK Shukla
arXiv preprint arXiv:1901.00228, 2019
32019
Detecting insider attacks on databases using blockchains
S Sharma, R Gupta, SS Srivastava, SK Shukla
ACMSIGSAC Conference on Computer and Communications Security, 2017
22017
Symmetric Component Caching for Model Counting on Combinatorial Instances
T van Bremen, V Derkinderen, S Sharma, S Roy, KS Meel
2021
Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS
S Sahai, M Atre, S Sharma, R Gupta, SK Shukla
2020 IEEE International Conference on Blockchain (Blockchain), 26-35, 2020
2020
Correction to: : Weighted and Projected Sampling
R Gupta, S Sharma, S Roy, KS Meel
International Conference on Tools and Algorithms for the Construction and …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–8