Verse: An EDSL for Cryptographic Primitives. - Abhishek Dang; Piyush P. Kurur (PPDP, 2018)

Computing and Maintaining Provenance of Query Result Probabilities in Uncertain Knowledge Graphs. - Garima Gaur; Abhishek Dang; Arnab Bhattacharya 001; Srikanta Bedathur (CIKM, 2021)