2 citations · 2 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SI2023
DSCom: A Data-Driven Self-Adaptive Community-Based Framework for Influence Maximization in Social Networks
Yuxin Zuo, Haojia Sun, Yongyi Hu +2
Influence maximization aims to find a subset of seeds that maximize the influence spread under a given budget. In this paper, we mainly address the data-driven version of this prob…
cs.CR2023
Gradual Verification for Smart Contracts
Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila +2
Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external…