| Reguard: finding reentrancy bugs in smart contracts C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe Proceedings of the 40th International Conference on Software Engineering …, 2018 | 393 | 2018 |
| 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 | 108 | 2018 |
| S-gram: towards semantic-aware security auditing for ethereum smart contracts H Liu, C Liu, W Zhao, Y Jiang, J Sun Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018 | 102 | 2018 |
| Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis Y Sun, D Wu, Y Xue, H Liu, H Wang, Z Xu, X Xie, Y Liu Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 87 | 2024 |
| Easyflow: Keep ethereum away from overflow J Gao, H Liu, C Liu, Q Li, Z Guan, Z Chen 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 80 | 2019 |
| Blockeye: Hunting for defi attacks on blockchain B Wang, H Liu, C Liu, Z Yang, Q Ren, H Zheng, H Lei 2021 IEEE/ACM 43rd international conference on software engineering …, 2021 | 61 | 2021 |
| Llm4vuln: A unified evaluation framework for decoupling and enhancing llms' vulnerability reasoning Y Sun, D Wu, Y Xue, H Liu, W Ma, L Zhang, Y Liu, Y Li arXiv preprint arXiv:2401.16185, 2024 | 59 | 2024 |
| Design of mixed synchronous/asynchronous systems with multiple clocks Y Jiang, H Zhang, H Zhang, H Liu, X Song, M Gu, J Sun IEEE Transactions on Parallel and Distributed Systems 26 (8), 2220-2232, 2014 | 52 | 2014 |
| Dependable model-driven development of CPS: From stateflow simulation to verified implementation Y Jiang, H Song, Y Yang, H Liu, M Gu, Y Guan, J Sun, L Sha ACM Transactions on Cyber-Physical Systems 3 (1), 1-31, 2018 | 47 | 2018 |
| Enabling clone detection for ethereum via smart contract birthmarks H Liu, Z Yang, Y Jiang, W Zhao, J Sun 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC …, 2019 | 43 | 2019 |
| Towards automated testing of blockchain-based decentralized applications J Gao, H Liu, Y Li, C Liu, Z Yang, Q Li, Z Guan, Z Chen 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC …, 2019 | 41 | 2019 |
| Eclone: Detect semantic clones in ethereum via symbolic transaction sketch H Liu, Z Yang, C Liu, Y Jiang, W Zhao, J Sun Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 38 | 2018 |
| Stochastic optimization of program obfuscation H Liu, C Sun, Z Su, Y Jiang, M Gu, J Sun 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 38 | 2017 |
| When gpt meets program analysis: Towards intelligent detection of smart contract logic vulnerabilities in gptscan Y Sun, D Wu, Y Xue, H Liu, H Wang, Z Xu, X Xie, Y Liu arXiv preprint arXiv:2308.03314, 2023 | 36 | 2023 |
| Reguard: finding reentrancy bugs in smart contracts. In 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe IEEE, 65ś68, 2018 | 35 | 2018 |
| From stateflow simulation to verified implementation: A verification approach and a real-time train controller design Y Jiang, Y Yang, H Liu, H Kong, M Gu, J Sun, L Sha 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016 | 34 | 2016 |
| Safety-assured model-driven design of the multifunction vehicle bus controller Y Jiang, H Liu, H Song, H Kong, R Wang, Y Guan, L Sha IEEE Transactions on Intelligent Transportation Systems 19 (10), 3320-3333, 2018 | 31 | 2018 |
| Use runtime verification to improve the quality of medical care practice Y Jiang, H Liu, H Kong, R Wang, M Hosseini, J Sun, L Sha Proceedings of the 38th International Conference on Software Engineering …, 2016 | 28 | 2016 |
| Seraph: enabling cross-platform security analysis for evm and wasm smart contracts Z Yang, H Liu, Y Li, H Zheng, L Wang, B Chen Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 24 | 2020 |
| Jbench: a dataset of data races for concurrency testing J Gao, X Yang, Y Jiang, H Liu, W Ying, X Zhang Proceedings of the 15th international conference on mining software …, 2018 | 22 | 2018 |
Yu JiangTsinghua UniversityVerified email at mail.tsinghua.edu.cn