Haijun Wang

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Smart Contract Fuzzing Towards Profitable Vulnerabilities 2025 Ziqiao Kong
Cen Zhang
M. Xie
Minglie Hu
Yue Xue
Ye Liu
Haijun Wang
Yang Liu
+ PDF Chat Stealthy Backdoor Attack to Real-world Models in Android Apps 2025 Jiali Wei
Ming Fan
Xicheng Zhang
Wenjing Jiao
Haijun Wang
Ting Liu
+ PDF Chat Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? 2024 Kaixuan Li
Yue Xue
Sen Chen
Han Liu
Kairan Sun
Ming Hu
Haijun Wang
Yang Liu
Yixiang Chen
+ PDF Chat Cross-Inlining Binary Function Similarity Detection 2024 Ang Jia
Ming Fan
Xi Xu
Wuxia Jin
Haijun Wang
Ting Liu
+ GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis 2024 Yuqiang Sun
Daoyuan Wu
Yue Xue
Han Liu
Haijun Wang
Zhengzi Xu
Xiaofei Xie
Yang Liu
+ PDF Chat Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App 2024 Yin Wang
Ming Fan
Junfeng Liu
Junjie Tao
Wuxia Jin
Haijun Wang
Qi Xiong
Ting Liu
+ GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis 2023 Yuqiang Sun
Daoyuan Wu
Yue Xue
Han Liu
Haijun Wang
Zhengzi Xu
Xiaofei Xie
Yang Liu
+ PDF Chat xFuzz: Machine Learning Guided Cross-Contract Fuzzing 2022 Yinxing Xue
Jiaming Ye
Wei Zhang
Jun Sun
Lei Ma
Haijun Wang
Jianjun Zhao
+ Comparing One with Many -- Solving Binary2source Function Matching Under Function Inlining 2022 Ang Jia
Ming Fan
Xu Xi
Wuxia Jin
Haijun Wang
Qiyi Tang
Sen Nie
Shi Wu
Ting Liu
+ Cooperative Multi-Agent Reinforcement Learning Based Distributed Dynamic Spectrum Access in Cognitive Radio Networks 2021 Xiang Tan
Zhou Li
Haijun Wang
Yuli Sun
Haitao Zhao
Boon‐Chong Seet
Jibo Wei
Victor C. M. Leung
+ PDF Chat Oracle-Supported Dynamic Exploit Generation for Smart Contracts 2020 Haijun Wang
Ye Liu
Yi Li
Shang‐Wei Lin
Cyrille Artho
Lei Ma
Yang Liu
+ MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs 2020 Hongxu Chen
Shengjian Guo
Yinxing Xue
Yulei Sui
Cen Zhang
Yuekang Li
Haijun Wang
Yang Liu
+ Cooperative Secure Transmission by Exploiting Social Ties in Random Networks 2018 Haijun Wang
Yiming Xu
Ke-Wen Huang
Zhu Han
Theodoros A. Tsiftsis
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat ContractFuzzer: fuzzing smart contracts for vulnerability detection 2018 Bo Jiang
Ye Liu
W.K. Chan
5
+ PDF Chat Slither: A Static Analysis Framework for Smart Contracts 2019 Josselin Feist
Gustavo Grieco
Alex Groce
4
+ PDF Chat Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts 2019 Mark Mossberg
Felipe Andrés Manzano
Eric Hennenfent
Alex Groce
Gustavo Grieco
Josselin Feist
Trent Brunson
Artem Dinaburg
3
+ PDF Chat SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds 2022 Priyanka Bose
Dipanjan Das
Yanju Chen
Yu Feng
Christopher Kruegel
Giovanni Vigna
3
+ PDF Chat VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts 2020 Sunbeom So
Myungho Lee
Jisu Park
Heejo Lee
Hakjoo Oh
3
+ PDF Chat Harvey: a greybox fuzzer for smart contracts 2020 Valentin Wüstholz
Maria Christakis
3
+ PDF Chat SoK: Decentralized Finance (DeFi) Attacks 2023 Liyi Zhou
Xihan Xiong
Jens Ernstberger
Stefanos Chaliasos
Zhipeng Wang
Yu Wang
Kaihua Qin
Roger Wattenhofer
Dawn Song
Arthur Gervais
2
+ PDF Chat How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection 2020 Asem Ghaleb
Karthik Pattabiraman
2
+ Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks 2019 Michael Rodler
Wenting Li
Ghassan Karame
Lucas Davi
2
+ PDF Chat MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract 2019 William Zhang
Sebastian Bănescu
Leonardo Pasos
Steven Stewart
Vijay Ganesh
2
+ PDF Chat Transformer-Based Language Models for Software Vulnerability Detection 2022 Chandra Thapa
Seung Ick Jang
Muhammad Ejaz Ahmed
Seyit Camtepe
Josef Pieprzyk
‪Surya Nepal‬
2
+ BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects 2023 Yi Xiao
Yuzhou Fang
Daoyuan Wu
Lingxiao Jiang
2
+ Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models 2023 Yinlin Deng
Chunqiu Steven Xia
Haoran Peng
Chenyuan Yang
Lingming Zhang
2
+ PDF Chat SolType: refinement types for arithmetic overflow in solidity 2022 Bryan Tan
Benjamin Mariano
Shuvendu K. Lahiri
Işıl Dillig
Yu Feng
2
+ Training language models to follow instructions with human feedback 2022 Long Ouyang
Jeff Wu
Xu Jiang
Diogo Almeida
Carroll L. Wainwright
Pamela Mishkin
Chong Zhang
Sandhini Agarwal
Katarina Slama
Alex Ray
2
+ PDF Chat code2vec: learning distributed representations of code 2019 Uri Alon
Meital Zilberstein
Omer Levy
Eran Yahav
1
+ PDF Chat Exploiting the laws of order in smart contracts 2019 Aashish Kolluri
Ivica Nikolić
Ilya Sergey
Aquinas Hobor
Prateek Saxena
1
+ Defining Smart Contract Defects on Ethereum 2020 Jiachi Chen
Xin Xia
David Lo
John Grundy
Xiapu Luo
Ting Chen
1
+ PDF Chat On the Throughput Cost of Physical Layer Security in Decentralized Wireless Networks 2011 Xiangyun Zhou
Radha Krishna Ganti
Jeffrey G. Andrews
Are Hjørungnes
1
+ PDF Chat Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection 2017 Xiaojun Xu
Chang Liu
Feng Qian
Heng Yin
Le Song
Dawn Song
1
+ PDF Chat Do developers update their library dependencies? 2017 Raula Gaikovina Kula
Daniel M. Germán
Ali Ouni
Takashi Ishio
Katsuro Inoue
1
+ PDF Chat A Survey of Binary Code Similarity 2021 Irfan Ul Haq
Juan Caballero
1
+ SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically 2021 Tai D. Nguyen
Long Hoang Pham
Jun Sun
1
+ PDF Chat SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask 2021 Chengbin Pang
Ruotong Yu
Yaohui Chen
Eric Koskinen
Georgios Portokalidis
Bing Mao
Jun Xu
1
+ PDF Chat Interpretation-Enabled Software Reuse Detection Based on a Multi-level Birthmark Model 2021 Xi Xu
Qinghua Zheng
Zheng Yan
Ming Fan
Ang Jia
Ting Liu
1
+ Unleashing the hidden power of compiler optimization on binary code difference: an empirical study 2021 Xiaolei Ren
Michael Ho
Jiang Ming
Yu Lei
Li Li
1
+ Large Language Models are Zero-Shot Reasoners 2022 Takeshi Kojima
Shixiang Gu
Machel Reid
Yutaka Matsuo
Yusuke Iwasawa
1
+ Vandal: A Scalable Security Analysis Framework for Smart Contracts 2018 Lexi Brent
Anton Jurisevic
Michael Kong
Eric Liu
François Gauthier
Vincent Gramoli
Ralph Holz
Bernhard Scholz
1
+ Language Models are Few-Shot Learners 2020 T. B. Brown
Benjamin F. Mann
Nick Ryder
Melanie Subbiah
Jared Kaplan
Prafulla Dhariwal
Arvind Neelakantan
Pranav Shyam
Girish Sastry
Amanda Askell
1
+ 1-to-1 or 1-to-n? Investigating the Effect of Function Inlining on Binary Similarity Analysis 2022 Ang Jia
Ming Fan
Wuxia Jin
Xi Xu
Zhaohui Zhou
Qiyi Tang
Sen Nie
Shi Wu
Ting Liu
1
+ Hyperledger fabric 2018 Elli Androulaki
Artem Barger
Vita Bortnikov
Christian Cachin
Konstantinos Christidis
Angelo De
David Enyeart
Christopher Ferris
Gennady Laventman
Yacov Manevich
1
+ Detecting software vulnerabilities using Language Models 2023 Marwan Omar
1
+ Keep the Conversation Going: Fixing 162 out of 337 bugs for $0.42 each using ChatGPT 2023 Chunqiu Steven Xia
Lingming Zhang
1
+ Evaluation of ChatGPT Model for Vulnerability Detection 2023 Anton Cheshkov
P. Zadorozhny
Rodion Levichev
1
+ Prompting Is All You Need: Automated Android Bug Replay with Large Language Models 2023 Sidong Feng
Chunyang Chen
1
+ Do you still need a manual smart contract audit? 2023 Isaac David
Liyi Zhou
Kaihua Qin
Dawn Song
Lorenzo Cavallaro
Arthur Gervais
1
+ PDF Chat Impact of Code Language Models on Automated Program Repair 2023 Nan Jiang
Kevin Liu
Thibaud Lutellier
Lin Tan
1
+ Self-Instruct: Aligning Language Models with Self-Generated Instructions 2023 Yi‐Zhong Wang
Yeganeh Kordi
Swaroop Mishra
Alisa Liu
Noah A. Smith
Daniel Khashabi
Hannaneh Hajishirzi
1
+ Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Models 2023 Yue Zhang
Yafu Li
Leyang Cui
Deng Cai
Lemao Liu
Tingchen Fu
Xinting Huang
Enbo Zhao
Yu Zhang
Yulong Chen
1
+ Efficient Estimation of Word Representations in Vector Space 2013 Tomáš Mikolov
Kai Chen
Greg S. Corrado
Jay B. Dean
1
+ DiverseVul: A New Vulnerable Source Code Dataset for Deep Learning Based Vulnerability Detection 2023 Yizheng Chen
Zhoujie Ding
Lamya Alowain
Xinyun Chen
David Wagner
1
+ Bidirectional LSTM-CRF Models for Sequence Tagging 2015 Zhiheng Huang
Wei Xu
Kai Yu
1
+ PDF Chat Modeling Heterogeneous Network Interference Using Poisson Point Processes 2013 Robert W. Heath
Marios Kountouris
Tianyang Bai
1
+ PDF Chat SMOTE: Synthetic Minority Over-sampling Technique 2002 Nitesh V. Chawla
Kevin W. Bowyer
Lawrence Hall
W. Philip Kegelmeyer
1
+ PDF Chat Understanding Modern Banking Ledgers Through Blockchain Technologies: Future of Transaction Processing and Smart Contracts on the Internet of Money 2016 Gareth W. Peters
Efstathios Panayi
1
+ PDF Chat Proceedings of the 25th international conference on Machine learning - ICML '08 2008 1
+ Cooperative Transmission for Physical Layer Security by Exploring Social Awareness 2017 Yiming Xu
Hui‐Ming Wang
Qian Yang
Ke-Wen Huang
Tong-Xing Zheng
1
+ Learning Inputs in Greybox Fuzzing 2018 Valentin Wüstholz
Maria Christakis
1
+ Towards Safer Smart Contracts: A Survey of Languages and Verification Methods 2018 Dominik Harz
William J. Knottenbelt
1
+ PDF Chat SAFE: Self-Attentive Function Embeddings for Binary Similarity 2019 Luca Massarelli
Giuseppe Antonio Di Luna
Fabio Petroni
Roberto Baldoni
Leonardo Querzoni
1