7 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2023
A separation logic for sequences in pointer programs and its decidability
Tianyue Cao, Bowen Zhang, Zhao Jin +2
Separation logic and its variants can describe various properties on pointer programs. However, when it comes to properties on sequences, one may find it hard to formalize. To deal…
cs.CR2020★ 7 cited
Characterizing Cryptocurrency Exchange Scams
Pengcheng Xia, Bowen Zhang, Ru Ji +5
As the indispensable trading platforms of the ecosystem, hundreds of cryptocurrency exchanges are emerging to facilitate the trading of digital assets. While, it also attracts the…
cs.LO2019★ 1 cited
Reasoning about Block-based Cloud Storage Systems
Zhao Jin, Hanpin Wang, Lei Zhang +3
Owing to the massive growth in the storage demands of big data, Cloud Storage Systems (CSSs) have been put forward to improve the storage capacity. Compared with traditional storag…