Bishnu Bhusal

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Differential Privacy

Top Venues

Publications

Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam
Formal Verification for Blockchain-based Insurance Claims Processing. NOMS (2024)
Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam
Formal Verification for Blockchain-based Insurance Claims Processing. CoRR (2024)
Santosh Adhikari, Bishnu Bhusal, Prashant Ghimire, Anil Shrestha
VTON-IT: Virtual Try-On using Image Translation. CoRR (2023)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CCS (2023)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CoRR (2023)