


default search action
Yu Jiang 0001
Person information
- affiliation: Tsinghua University, School of Software, Beijing, China
- affiliation (former): University of Illinois at Urbana-Champaign, Department of Computer Science, IL, USA
- affiliation (PhD 2015): Tsinghua University, School of Software, Beijing, China
Other persons with the same name
- Yu Jiang — disambiguation page
- Yu Jiang 0002
— Technical University of Denmark, Lyngby, Denmark (and 3 more)
- Yu Jiang 0003
— ClearMotion, MA, USA (and 2 more)
- Yu Jiang 0004
— Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore
- Yu Jiang 0005
— University of Memphis, School of Public Health, TN, USA
- Yu Jiang 0006
— Jilin University, College of Computer Science and Technology, Changchun, China
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j59]Yanyang Zhao
, Zhengxiong Luo, Kai Liang, Feifan Wu, Wenlong Zhang, Heyuan Shi, Yu Jiang:
Protocol syntax recovery via knowledge transfer. Comput. Networks 258: 111022 (2025) - [j58]Zehong Yu
, Yixiao Yang
, Zhuo Su
, Rui Wang, Yang Tao, Yu Jiang
:
Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 44(2): 444-457 (2025) - 2024
- [j57]Chijin Zhou
, Bingzhou Qian
, Gwihwan Go
, Quan Zhang
, Shanshan Li
, Yu Jiang
:
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting. Proc. ACM Program. Lang. 8(OOPSLA2): 1309-1335 (2024) - [j56]Haoran Liu
, Zhouyang Jia
, Shanshan Li
, Yan Lei
, Yue Yu
, Yu Jiang
, Xiaoguang Mao
, Xiangke Liao
:
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs. Proc. ACM Softw. Eng. 1(FSE): 1796-1818 (2024) - [j55]Zhengxiong Luo
, Junze Yu
, Qingpeng Du
, Yanyang Zhao
, Feifan Wu
, Heyuan Shi
, Wanli Chang
, Yu Jiang
:
Parallel Fuzzing of IoT Messaging Protocols Through Collaborative Packet Generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 3431-3442 (2024) - [j54]Qiang Zhang
, Yuheng Shen, Jianzhong Liu, Yiru Xu, Heyuan Shi
, Yu Jiang
, Wanli Chang
:
ECG: Augmenting Embedded Operating System Fuzzing via LLM-Based Corpus Generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 4238-4249 (2024) - [j53]Jianzhong Liu
, Yuheng Shen
, Yiru Xu
, Hao Sun
, Yu Jiang
:
Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures. ACM Trans. Softw. Eng. Methodol. 33(1): 11:1-11:25 (2024) - [j52]Yongqiang Tian
, Xueyan Zhang
, Yiwen Dong
, Zhenyang Xu
, Mengxiao Zhang
, Yu Jiang
, Shing-Chi Cheung
, Chengnian Sun
:
On the Caching Schemes to Speed Up Program Reduction. ACM Trans. Softw. Eng. Methodol. 33(1): 17:1-17:30 (2024) - [j51]Yuanhang Zhou
, Fuchen Ma
, Yuanliang Chen
, Meng Ren
, Yu Jiang
:
CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing. ACM Trans. Softw. Eng. Methodol. 33(2): 45:1-45:28 (2024) - [j50]Zhuo Su
, Zehong Yu
, Dongyan Wang
, Yixiao Yang
, Rui Wang
, Wanli Chang
, Aiguo Cui
, Yu Jiang
:
HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy. IEEE Trans. Software Eng. 50(12): 3088-3103 (2024) - [c146]Yuqiao Yang
, Zhongjie Wu
, Yongzhao Zhang
, Ting Chen
, Jun Li
, Jie Yang
, Wenhao Liu
, Xiaosong Zhang
, Ruicong Shi
, Jingwei Li
, Yu Jiang
, Zhuo Su
:
UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips. CCS 2024: 3376-3390 - [c145]Jianzhong Liu
, Yuheng Shen
, Yiru Xu
, Yu Jiang
:
Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing. CCS 2024: 3763-3777 - [c144]Zhuo Su
, Zehong Yu
, Dongyan Wang
, Rui Wang
, Yang Tao
, Yu Jiang
:
CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing. DAC 2024: 16:1-16:6 - [c143]Zehong Yu
, Zhuo Su
, Yu Jiang
, Aiguo Cui
, Rui Wang
:
Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination. DAC 2024: 20:1-20:6 - [c142]Yifan Cheng
, Zehong Yu
, Zhuo Su
, Ting Chen
, Xiaosong Zhang
, Yu Jiang
:
AccMoS: Accelerating Model Simulation for Simulink via Code Generation. DAC 2024: 21:1-21:6 - [c141]Jianzhong Liu
, Yuheng Shen
, Yiru Xu
, Hao Sun
, Heyuan Shi
, Yu Jiang
:
Effectively Sanitizing Embedded Operating Systems. DAC 2024: 117:1-117:6 - [c140]Junze Yu
, Zhengxiong Luo
, Fangshangyuan Xia
, Yanyang Zhao
, Heyuan Shi
, Yu Jiang
:
SPFuzz: Stateful Path based Parallel Fuzzing for Protocols in Autonomous Vehicles. DAC 2024: 118:1-118:6 - [c139]Hao Sun
, Yiru Xu
, Jianzhong Liu
, Yuheng Shen
, Nan Guan
, Yu Jiang
:
Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. EuroSys 2024: 689-703 - [c138]Yingwei Ma, Yue Liu, Yue Yu, Yuanliang Zhang, Yu Jiang, Changjian Wang, Shanshan Li:
At Which Training Stage Does Code Data Help LLMs Reasoning? ICLR 2024 - [c137]Jie Liang
, Zhiyong Wu
, Jingzhou Fu
, Mingzhe Wang
, Chengnian Sun
, Yu Jiang
:
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation. ICSE 2024: 135:1-135:12 - [c136]Jingzhou Fu
, Jie Liang
, Zhiyong Wu
, Yu Jiang
:
Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer. ICSE 2024: 146:1-146:12 - [c135]Yiwei Hou
, Lihua Guo
, Chijin Zhou
, Yiwen Xu
, Zijing Yin
, Shanshan Li
, Chengnian Sun
, Yu Jiang
:
An Empirical Study of Data Disruption by Ransomware Attacks. ICSE 2024: 161:1-161:12 - [c134]Feng Luo
, Ruijie Luo
, Ting Chen
, Ao Qiao
, Zheyuan He
, Shuwei Song
, Yu Jiang
, Sixing Li
:
SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network. ICSE 2024: 170:1-170:13 - [c133]Yuanhang Zhou
, Jingxuan Sun
, Fuchen Ma, Yuanliang Chen
, Zhen Yan
, Yu Jiang
:
Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors. ICSE-SEIP 2024: 228-239 - [c132]Ying Fu
, Teng Wang
, Shanshan Li
, Jinyan Ding
, Shulin Zhou
, Zhouyang Jia
, Wang Li
, Yu Jiang
, Xiangke Liao
:
MissConf: LLM-Enhanced Reproduction of Configuration-Triggered Bugs. ICSE Companion 2024: 484-495 - [c131]Kai Liang, Zhengxiong Luo, Yanyang Zhao, Wenlong Zhang, Ronghua Shi, Yu Jiang, Heyuan Shi, Chao Hu:
MDIplier: Protocol Format Recovery via Hierarchical Inference. ISSRE 2024: 547-557 - [c130]Yuheng Shen
, Jianzhong Liu
, Yiru Xu
, Hao Sun
, Mingzhe Wang
, Nan Guan
, Heyuan Shi
, Yu Jiang
:
Enhancing ROS System Fuzzing through Callback Tracing. ISSTA 2024: 76-87 - [c129]Gwihwan Go
, Chijin Zhou
, Quan Zhang
, Xiazijian Zou
, Heyuan Shi
, Yu Jiang
:
Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement. ISSTA 2024: 1338-1350 - [c128]Feifan Wu
, Zhengxiong Luo
, Yanyang Zhao
, Qingpeng Du
, Junze Yu
, Ruikang Peng
, Heyuan Shi
, Yu Jiang
:
Logos: Log Guided Fuzzing for Protocol Implementations. ISSTA 2024: 1720-1732 - [c127]Zhuo Su, Zehong Yu, Dongyan Wang, Wanli Chang, Bin Gu, Yu Jiang:
Test Case Generation for Simulink Models using Model Fuzzing and State Solving. ASE 2024: 117-128 - [c126]Quan Zhang, Chijin Zhou, Gwihwan Go, Binqi Zeng, Heyuan Shi, Zichen Xu, Yu Jiang:
Imperceptible Content Poisoning in LLM-Powered Applications. ASE 2024: 242-254 - [c125]Heyuan Shi, Shijun Chen, Runzhe Wang, Yuhan Chen, Weibo Zhang, Qiang Zhang, Yuheng Shen, Xiaohai Shi, Chao Hu, Yu Jiang:
Industry Practice of Directed Kernel Fuzzing for Open-source Linux Distribution. ASE 2024: 2159-2169 - [c124]Zhengxiong Luo, Kai Liang, Yanyang Zhao, Feifan Wu, Junze Yu, Heyuan Shi, Yu Jiang:
DynPRE: Protocol Reverse Engineering via Dynamic Inference. NDSS 2024 - [c123]Quan Zhang, Yiwen Xu, Zijing Yin, Chijin Zhou, Yu Jiang:
Automatic Policy Synthesis and Enforcement for Protecting Untrusted Deserialization. NDSS 2024 - [c122]Jie Liang
, Mingzhe Wang
, Chijin Zhou
, Zhiyong Wu
, Jianzhong Liu
, Yu Jiang
:
Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling. SIGSOFT FSE Companion 2024: 244-254 - [c121]Jing Luo
, Heyuan Shi
, Yongchao Zhang
, Runzhe Wang
, Yuheng Shen
, Yuao Chen
, Xiaohai Shi
, Rongkai Liu
, Chao Hu
, Yu Jiang
:
CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community. SIGSOFT FSE Companion 2024: 329-339 - [c120]Yu Jiang
, Jie Liang
, Fuchen Ma
, Yuanliang Chen
, Chijin Zhou
, Yuheng Shen
, Zhiyong Wu
, Jingzhou Fu
, Mingzhe Wang
, Shanshan Li
, Quan Zhang
:
When Fuzzing Meets LLMs: Challenges and Opportunities. SIGSOFT FSE Companion 2024: 492-496 - [c119]Quan Zhang
, Binqi Zeng
, Chijin Zhou
, Gwihwan Go
, Heyuan Shi
, Yu Jiang
:
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications. SIGSOFT FSE Companion 2024: 502-506 - [c118]Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Ming Gu, Qing Liao, Yu Jiang:
Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay. SP 2024: 1939-1955 - [c117]Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, Yu Jiang:
Saturn: Host-Gadget Synergistic USB Driver Fuzzing. SP 2024: 4646-4660 - [c116]Jie Liang, Zhiyong Wu, Jingzhou Fu, Yiyuan Bai, Qiang Zhang, Yu Jiang:
WingFuzz: Implementing Continuous Fuzzing for DBMSs. USENIX ATC 2024: 479-492 - [c115]Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Jingzhou Fu, Zhuo Su, Qing Liao, Bin Gu, Bodong Wu, Yu Jiang:
Data Coverage for Guided Fuzzing. USENIX Security Symposium 2024 - [c114]Rongkai Liu, Heyuan Shi, Yongchao Zhang, Runzhe Wang, Yuheng Shen, Yuao Chen, Jing Luo, Xiaohai Shi, Chao Hu, Yu Jiang:
PatchBert: Continuous Stable Patch Identification for Linux Kernel via Pre-trained Model Fine-tuning. SANER 2024: 349-358 - [i27]Jinjing Shi, Zimeng Xiao, Heyuan Shi, Yu Jiang, Xuelong Li:
QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems. CoRR abs/2402.12950 (2024) - [i26]Yu Jiang, Jie Liang, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, ShanShan Li, Quan Zhang:
When Fuzzing Meets LLMs: Challenges and Opportunities. CoRR abs/2404.16297 (2024) - [i25]Quan Zhang, Binqi Zeng, Chijin Zhou, Gwihwan Go, Heyuan Shi, Yu Jiang:
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications. CoRR abs/2404.17196 (2024) - [i24]Yuqiao Yang, Zhongjie Wu, Yongzhao Zhang, Ting Chen, Jun Li, Jie Yang, Wenhao Liu, Xiaosong Zhang, Ruicong Shi, Jingwei Li, Yu Jiang, Zhuo Su:
UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips. CoRR abs/2407.00682 (2024) - [i23]Xunzhao Yin, Hamza Errahmouni Barkam, Franz Müller, Yu Jiang, Mohsen Imani, Sukhrob Abdulazhanov, Alptekin Vardar, Nellie Laleni, Zijian Zhao, Jiahui Duan, Zhiguo Shi, Siddharth Joshi, Michael T. Niemier, Xiaobo Sharon Hu, Cheng Zhuo, Thomas Kämpfe, Kai Ni:
A Remedy to Compute-in-Memory with Dynamic Random Access Memory: 1FeFET-1C Technology for Neuro-Symbolic AI. CoRR abs/2410.15296 (2024) - 2023
- [j49]Zhenyang Xu
, Yongqiang Tian
, Mengxiao Zhang
, Gaosen Zhao
, Yu Jiang
, Chengnian Sun
:
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction. Proc. ACM Program. Lang. 7(OOPSLA1): 636-664 (2023) - [j48]Chijin Zhou
, Quan Zhang
, Lihua Guo
, Mingzhe Wang
, Yu Jiang
, Qing Liao
, Zhiyong Wu
, Shanshan Li
, Bin Gu
:
Towards Better Semantics Exploration for Browser Fuzzing. Proc. ACM Program. Lang. 7(OOPSLA2): 604-631 (2023) - [j47]Quan Zhang
, Chijin Zhou
, Yiwen Xu
, Zijing Yin
, Mingzhe Wang
, Zhuo Su
, Chengnian Sun
, Yu Jiang
, Jia-Guang Sun
:
Building Dynamic System Call Sandbox with Partial Order Analysis. Proc. ACM Program. Lang. 7(OOPSLA2): 1253-1280 (2023) - [j46]Zhuo Su
, Dongyan Wang
, Zehong Yu
, Yixiao Yang, Yu Jiang
, Rui Wang, Wanli Chang
, Wen Li, Aiguo Cui, Jia-Guang Sun:
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(4): 1072-1084 (2023) - [j45]Fuchen Ma
, Meng Ren
, Ying Fu
, Wanting Sun
, Houbing Song
, Heyuan Shi
, Yu Jiang
, Huizhong Li
:
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. ACM Trans. Internet Techn. 23(3): 40:1-40:22 (2023) - [j44]Zijing Yin
, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang:
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. ACM Trans. Softw. Eng. Methodol. 32(1): 7:1-7:30 (2023) - [j43]Fuchen Ma
, Meng Ren
, Lerong Ouyang
, Yuanliang Chen
, Juan Zhu
, Ting Chen
, Yingli Zheng
, Xiao Dai
, Yu Jiang
, Jiaguang Sun
:
Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. ACM Trans. Softw. Eng. Methodol. 32(3): 61:1-61:24 (2023) - [j42]Yongqiang Tian
, Wuqi Zhang
, Ming Wen
, Shing-Chi Cheung
, Chengnian Sun
, Shiqing Ma
, Yu Jiang
:
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications. ACM Trans. Softw. Eng. Methodol. 32(5): 128:1-128:32 (2023) - [c113]Fuchen Ma
, Yuanliang Chen
, Yuanhang Zhou
, Jingxuan Sun
, Zhuo Su, Yu Jiang
, Jiaguang Sun
, Huizhong Li
:
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. CCS 2023: 1182-1196 - [c112]Wenhong Ma, Xiangzhen Xiao, Guoqi Xie, Nan Guan
, Yu Jiang, Wanli Chang:
Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic. DAC 2023: 1-6 - [c111]Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang:
STCG: State-Aware Test Case Generation for Simulink Models. DAC 2023: 1-6 - [c110]Jie Liang, Yaoguang Chen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Yu Jiang, Xiangdong Huang, Ting Chen, Jiashui Wang, Jiajia Li:
Sequence-Oriented DBMS Fuzzing. ICDE 2023: 668-681 - [c109]Mingrui Zhang, Chijin Zhou
, Jianzhong Liu, Mingzhe Wang, Jie Liang, Juan Zhu, Yu Jiang:
Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis. ICSE-SEIP 2023: 87-98 - [c108]Christopher M. Poskitt
, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. ICSE 2023: 2578-2590 - [c107]Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun:
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. ISSTA 2023: 753-765 - [c106]Teng Wang, Haochen He, Xiaodong Liu, Shanshan Li, Zhouyang Jia, Yu Jiang, Qing Liao, Wang Li:
ConfTainter: Static Taint Analysis For Configuration Options. ASE 2023: 1640-1651 - [c105]Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun:
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. NDSS 2023 - [c104]Yuheng Shen, Shijun Chen, Jianzhong Liu, Yiru Xu, Qiang Zhang, Runzhe Wang, Heyuan Shi, Yu Jiang:
Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux. RTSS 2023: 495-499 - [c103]Mengxiao Zhang
, Zhenyang Xu
, Yongqiang Tian
, Yu Jiang
, Chengnian Sun
:
PPR: Pairwise Program Reduction. ESEC/SIGSOFT FSE 2023: 338-349 - [c102]Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun:
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. SP 2023: 2517-2532 - [c101]Chijin Zhou
, Lihua Guo, Yiwei Hou, Zhenya Ma, Quan Zhang, Mingzhe Wang, Zhe Liu, Yu Jiang:
Limits of I/O Based Ransomware Detection: An Imitation Based Attack. SP 2023: 2584-2601 - [c100]Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun:
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium 2023: 4481-4498 - [d3]Zhenyang Xu
, Yongqiang Tian
, Mengxiao Zhang
, Gaosen Zhao
, Yu Jiang
, Chengnian Sun
:
Artifact for "Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction". Version 1. Zenodo, 2023 [all versions] - [d2]Zhenyang Xu
, Yongqiang Tian
, Mengxiao Zhang
, Gaosen Zhao
, Yu Jiang
, Chengnian Sun
:
Artifact for "Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction". Version 2. Zenodo, 2023 [all versions] - [d1]Mengxiao Zhang
, Zhenyang Xu
, Yongqiang Tian
, Yu Jiang
, Chengnian Sun
:
Artifact for "PPR: Pairwise Program Reduction". Zenodo, 2023 - [i22]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. CoRR abs/2302.04175 (2023) - [i21]Yingwei Ma, Yue Liu, Yue Yu, Yuanliang Zhang, Yu Jiang, Changjian Wang, Shanshan Li:
At Which Training Stage Does Code Data Help LLMs Reasoning? CoRR abs/2309.16298 (2023) - 2022
- [j41]Zhuo Su
, Dongyan Wang
, Yixiao Yang, Yu Jiang
, Wanli Chang
, Liming Fang
, Wen Li, Jia-Guang Sun:
Code Synthesis for Dataflow-Based Embedded Software Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(1): 49-61 (2022) - [j40]Dongning Ma
, Xinqiao Zhang
, Ke Huang
, Yu Jiang
, Wanli Chang, Xun Jiao
:
DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(4): 827-839 (2022) - [j39]Zhuo Su
, Dongyan Wang
, Yixiao Yang, Zehong Yu, Wanli Chang
, Wen Li, Aiguo Cui, Yu Jiang
, Jiaguang Sun:
MDD: A Unified Model-Driven Design Framework for Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(10): 3252-3265 (2022) - [j38]Yiwen Xu
, Zijing Yin
, Yiwei Hou
, Jianzhong Liu, Yu Jiang
:
MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4373-4384 (2022) - [j37]Feilong Zuo
, Zhengxiong Luo
, Junze Yu, Ting Chen
, Zichen Xu
, Aiguo Cui, Yu Jiang
:
Vulnerability Detection of ICS Protocols via Cross-State Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4457-4468 (2022) - [j36]Zehong Yu
, Zhuo Su
, Yixiao Yang, Jie Liang
, Yu Jiang
, Aiguo Cui, Wanli Chang
, Rui Wang:
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4504-4515 (2022) - [j35]Yuheng Shen
, Yiru Xu
, Hao Sun
, Jianzhong Liu
, Zichen Xu
, Aiguo Cui, Heyuan Shi
, Yu Jiang
:
Tardis: Coverage-Guided Embedded Operating System Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4563-4574 (2022) - [j34]Yongchao Zhang
, Zhe Liu
, Yu Jiang
:
The Classification and Detection of Malware Using Soft Relevance Evaluation. IEEE Trans. Reliab. 71(1): 309-320 (2022) - [j33]Jianmin Guo
, Quan Zhang, Yue Zhao, Heyuan Shi
, Yu Jiang
, Jia-Guang Sun:
RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems. IEEE Trans. Software Eng. 48(10): 4167-4180 (2022) - [j32]Fuchen Ma
, Zhenyang Xu
, Meng Ren, Zijing Yin
, Yuanliang Chen, Lei Qiao, Bin Gu
, Huizhong Li, Yu Jiang
, Jia-Guang Sun:
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. IEEE Trans. Software Eng. 48(11): 4380-4396 (2022) - [c99]Zhuo Su
, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jia-Guang Sun:
HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. DAC 2022: 1033-1038 - [c98]Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou
, Yu Jiang:
Unicorn: detect runtime errors in time-series databases with hybrid input synthesis. ISSTA 2022: 251-262 - [c97]Zijing Yin
, Yiwen Xu, Chijin Zhou
, Yu Jiang:
Empirical Study of System Resources Abused by IoT Attackers. ASE 2022: 39:1-39:13 - [c96]Jingzhou Fu, Jie Liang, Zhiyong Wu, Mingzhe Wang, Yu Jiang:
Griffin : Grammar-Free DBMS Fuzzing. ASE 2022: 49:1-49:12 - [c95]Mingzhe Wang, Jie Liang, Chijin Zhou
, Zhiyong Wu, Xinyi Xu, Yu Jiang:
Odin: on-demand instrumentation with on-the-fly recompilation. PLDI 2022: 1010-1024 - [c94]Chijin Zhou
, Quan Zhang, Mingzhe Wang, Lihua Guo, Jie Liang, Zhe Liu, Mathias Payer, Yu Jiang:
Minerva: browser API fuzzing with dynamic mod-ref analysis. ESEC/SIGSOFT FSE 2022: 1135-1147 - [c93]Taotao Gu, Xiang Li, Shuaibing Lu, Jianwen Tian, Yuanping Nie, Xiaohui Kuang, Zhechao Lin, Chenyifan Liu, Jie Liang, Yu Jiang:
Group-based corpus scheduling for parallel fuzzing. ESEC/SIGSOFT FSE 2022: 1521-1532 - [c92]Runzhe Wang, Qinglong Wang, Yuxi Hu, Heyuan Shi
, Yuheng Shen, Yu Zhan, Ying Fu, Zheng Liu, Xiaohai Shi, Yu Jiang:
Industry practice of configuration auto-tuning for cloud applications and services. ESEC/SIGSOFT FSE 2022: 1555-1565 - [c91]Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun:
PATA: Fuzzing with Path Aware Taint Analysis. SP 2022: 1-17 - [c90]Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang:
KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. USENIX ATC 2022: 351-366 - [i20]Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun:
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker. CoRR abs/2211.05441 (2022) - 2021
- [j31]Fuchen Ma
, Meng Ren, Ying Fu, Mingzhe Wang, Huizhong Li, Houbing Song
, Yu Jiang:
Security reinforcement for Ethereum virtual machine. Inf. Process. Manag. 58(4): 102565 (2021) - [j30]Jie Liang
, Yu Jiang
, Mingzhe Wang
, Xun Jiao, Yuanliang Chen, Houbing Song
, Kim-Kwang Raymond Choo
:
DeepFuzzer: Accelerated Deep Greybox Fuzzing. IEEE Trans. Dependable Secur. Comput. 18(6): 2675-2688 (2021) - [j29]Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi
, Yixiao Yang, Wanli Chang:
Rtkaller: State-aware Task Generation for RTOS Fuzzing. ACM Trans. Embed. Comput. Syst. 20(5s): 83:1-83:22 (2021) - [j28]Jian Gao
, Xin Yang, Yu Jiang
, Houbing Song
, Kim-Kwang Raymond Choo
, Jiaguang Sun:
Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. IEEE Trans. Ind. Informatics 17(2): 971-979 (2021) - [j27]Yu Jiang
, Mingzhe Wang
, Zhuo Su
, Yixiao Yang, Huihui Wang
:
Formal Design of Multi-Function Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 22(6): 3880-3889 (2021) - [j26]Jianmin Guo, Yue Zhao, Houbing Song
, Yu Jiang
:
Coverage Guided Differential Adversarial Testing of Deep Learning Systems. IEEE Trans. Netw. Sci. Eng. 8(2): 933-942 (2021) - [j25]Jian Gao
, Yu Jiang
, Zhe Liu
, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun:
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. IEEE Trans. Software Eng. 47(11): 2575-2589 (2021) - [c89]Dongning Ma, Jianmin Guo, Yu Jiang, Xun Jiao:
HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing. DAC 2021: 391-396 - [c88]Feilong Zuo, Zhengxiong Luo
, Junze Yu, Zhe Liu, Yu Jiang:
PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles. DAC 2021: 823-828 - [c87]Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang
, Yu Jiang:
IntelliGen: Automatic Driver Synthesis for Fuzz Testing. ICSE (SEIP) 2021: 318-327 - [c86]