26 citations · 29 across the 5 of their papers we have counts for
7 papers
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker
Jian Gao, Yu Jiang, Zhe Liu +5
Clone detection is widely exploited for software vulnerability search. The approaches based on source code analysis cannot be applied to binary clone detection because the same sou…
From Innovations to Prospects: What Is Hidden Behind Cryptocurrencies?
Ang Jia, Ming Fan, Xi Xu +5
The great influence of Bitcoin has promoted the rapid development of blockchain-based digital currencies, especially the altcoins, since 2013. However, most altcoins share similar…
GRCNN: Graph Recognition Convolutional Neural Network for Synthesizing Programs from Flow Charts
Lin Cheng, Zijiang Yang
Program synthesis is the task to automatically generate programs based on user specification. In this paper, we present a framework that synthesizes programs from flow charts that…
sCompile: Critical Path Identification and Analysis for Smart Contracts
Jialiang Chang, Bo Gao, Hao Xiao +3
Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed,…
Automated Localization for Unreproducible Builds
Zhilei Ren, He Jiang, Jifeng Xuan +1
Reproducibility is the ability of recreating identical binaries under pre-defined build environments. Due to the need of quality assurance and the benefit of better detecting attac…
A High-Level Rule-based Language for Software Defined Network Programming based on OpenFlow
Mehdi Mohammadi, Ala Al-Fuqaha, Zijiang James Yang
This paper proposes XML-Defined Network policies (XDNP), a new high-level language based on XML notation, to describe network control rules in Software Defined Network environments…