Shubham Sharma

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 6

Top Topics

Insider Attacks

Uniform Sampling

Probabilistic Interpretation

Top Venues

Publications

Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
Symmetric Component Caching for Model Counting on Combinatorial Instances. AAAI (2021)
Shubham Sahai, Medha Atre, Shubham Sharma, Rahul Gupta, Sandeep K. Shukla
Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS. Blockchain (2020)
Shubham S. Srivastava, Medha Atre, Shubham Sharma, Rahul Gupta, Sandeep K. Shukla
Verity: Blockchains to Detect Insider Attacks in DBMS. CoRR (2019)
Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel
GANAK: A Scalable Probabilistic Exact Model Counter. IJCAI (2019)
Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
WAPS: Weighted and Projected Sampling. TACAS (1) (2019)
Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
Knowledge Compilation meets Uniform Sampling. LPAR (2018)