Bishnu Bhusal

According to our database, Bishnu Bhusal authored at least 8 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Artifact for Paper Submission "Checking 𝛿-Satisfiability of Reals with Integrals".

Cody Rivera, Bishnu Bhusal, Rohit Chadha, Aravinda Prasad Sistla, Mahesh Viswanathan

Dataset, February, 2025

Artifact for Paper Submission "Checking 𝛿-Satisfiability of Reals with Integrals".

Cody Rivera, Bishnu Bhusal, Rohit Chadha, Aravinda Prasad Sistla, Mahesh Viswanathan

Dataset, January, 2025

Checking δ-Satisfiability of Reals with Integrals.

Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Proc. ACM Program. Lang., 2025

Privacy Nutrition Labels: Promise, Practice, and Paradoxes in Communicating Privacy.

Bishnu Bhusal, Yuanye Ma, Rohit Chadha

Proceedings of the HCI International 2025 Posters, 2025

2024

Formal Verification for Blockchain-based Insurance Claims Processing.

Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam

Proceedings of the NOMS 2024 IEEE Network Operations and Management Symposium, 2024

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, Prasad Calyam

Proceedings of the Decision and Game Theory for Security - 15th International Conference, 2024

2023

VTON-IT: Virtual Try-On using Image Translation.

Santosh Adhikari, Bishnu Bhusal, Prashant Ghimire, Anil Shrestha

CoRR, 2023

Deciding Differential Privacy of Online Algorithms with Multiple Variables.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023