| DLFuzz: differential fuzzing testing of deep learning systems J Guo, Y Jiang, Y Zhao, Q Chen, J Sun Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 304 | 2018 |
| Vulseeker: a semantic learning based vulnerability seeker for cross-platform binary J Gao, X Yang, Y Fu, Y Jiang, J Sun 2018 33rd IEEE/ACM International Conference on Automated Software …, 2018 | 172 | 2018 |
| Enfuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers Y Chen, Y Jiang, F Ma, J Liang, M Wang, C Zhou, X Jiao, Z Su 28th {USENIX} Security Symposium ({USENIX} Security 19), 1967-1983, 2019 | 157 | 2019 |
| Data-centered runtime verification of wireless medical cyber-physical system Y Jiang, H Song, R Wang, M Gu, J Sun, L Sha IEEE transactions on industrial informatics 13 (4), 1900-1909, 2016 | 132 | 2016 |
| Leopard: Identifying vulnerable code for vulnerability assessment through program metrics X Du, B Chen, Y Li, J Guo, Y Zhou, Y Liu, Y Jiang 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 120 | 2019 |
| EVMFuzzer: detect EVM vulnerabilities via fuzz testing Y Fu, M Ren, F Ma, H Shi, X Yang, Y Jiang, H Li, X Shi Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 104* | 2019 |
| SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing M Wang, J Liang, Y Chen, Y Jiang, X Jiao, H Liu, X Zhao, J Sun Proceedings of the 40th International Conference on Software Engineering …, 2018 | 104 | 2018 |
| S-gram: towards semantic-aware security auditing for ethereum smart contracts H Liu, C Liu, W Zhao, Y Jiang, J Sun 2018 33rd IEEE/ACM International Conference on Automated Software …, 2018 | 95 | 2018 |
| Empirical evaluation of smart contract testing: what is the best choice? M Ren, Z Yin, F Ma, Z Xu, Y Jiang, C Sun, H Li, Y Cai Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 82 | 2021 |
| Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques Y Jiang, H Zhang, Z Li, Y Deng, X Song, M Gu, J Sun IEEE Transactions on Industrial Electronics 62 (2), 1270-1278, 2015 | 77 | 2015 |
| PAFL: extend fuzzing optimizations of single mode to industrial parallel mode J Liang, Y Jiang, Y Chen, M Wang, C Zhou, J Sun Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 72 | 2018 |
| PATA: Fuzzing with Path Aware Taint Analysis J Liang, M Wang, C Zhou, Z Wu, Y Jiang, J Liu, Z Liu, J Sun 2022 2022 IEEE Symposium on Security and Privacy (SP)(SP). IEEE Computer …, 2022 | 70 | 2022 |
| Bayesian-network-based reliability analysis of PLC systems Y Jiang, H Zhang, X Song, X Jiao, WNN Hung, M Gu, J Sun IEEE Transactions on Industrial Electronics 60 (11), 5325-5336, 2013 | 65 | 2013 |
| AdvDoor: adversarial backdoor attack of deep learning system Q Zhang, Y Ding, Y Tian, J Guo, M Yuan, Y Jiang Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 64 | 2021 |
| EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine F Ma, Y Fu, M Ren, M Wang, Y Jiang, K Zhang, H Li, X Shi 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019 | 62 | 2019 |
| ICS protocol fuzzing: coverage guided packet crack and generation Z Luo, F Zuo, Y Shen, X Jiao, W Chang, Y Jiang 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 58 | 2020 |
| Fuzz testing in practice: Obstacles and solutions J Liang, M Wang, Y Chen, Y Jiang, R Zhang 2018 IEEE 25th International Conference on Software Analysis, Evolution and …, 2018 | 56 | 2018 |
| Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks Y Jiang, H Zhang, H Liu, X Song, WNN Hung, M Gu, J Sun IEEE Transaction on Parallel and Distributed Systems, 2220-2232, 2015 | 55 | 2015 |
| Energy-efficient neural networks using approximate computation reuse X Jiao, V Akhlaghi, Y Jiang, RK Gupta 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018 | 53 | 2018 |
| Polar: Function code aware fuzz testing of ics protocol Z Luo, F Zuo, Y Jiang, J Gao, X Jiao, J Sun ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019 | 52 | 2019 |
Mingzhe WangHuawei Technologies Co., Ltd.Verified email at mails.tsinghua.edu.cn
