publications

publications by categories in reversed chronological order.

2024

  1. Formal Verification for Blockchain-based Insurance Claims Processing
    Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, and Prasad Calyam
    2024
  2. On Countering Ransomware Attacks Using Strategic Deception
    Roshan Lal Neupane, Bishnu Bhusal, Kiran Neupane, Preyea Regmi, Tam Dinh, Lilliana Marrero, Sayed M. Saghaian N. E., Venkata Sriram Siddhardh Nadendla, and Prasad Calyam
    In Decision and Game Theory for Security , 2024

2023

  1. VTON-IT: Virtual Try-On using Image Translation
    Santosh Adhikari, Bishnu Bhusal, Prashant Ghimire, and Anil Shrestha
    2023
  2. Deciding Differential Privacy of Online Algorithms with Multiple Variables
    Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, and Bishnu Bhusal
    In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security , , Copenhagen, Denmark, , 2023