publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2025
- USENIX Security ’25Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation ModelingIn 34th USENIX Security Symposium (USENIX Security 25), Aug 2025
- USENIX ATC ’25CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via Abundant Fault-Dependent ConfigurationsIn 2025 USENIX Annual Technical Conference (USENIX ATC 25), Jul 2025
- DAC ’25CMFuzz: Parallel Fuzzing of IoT Protocols by Configuration Model Identification and SchedulingIn Proceedings of the 62st ACM/IEEE Design Automation Conference, Jul 2025
- ICSE ’25Chord: Towards a Unified Detection of Blockchain Transaction Parallelism BugsIn Proceedings of the 47th International Conference on Software Engineering: Software Engineering in Practice, Jul 2025
- Eurosys ’25Themis: Finding Imbalance Failures in Distributed File Systems via a Load Variance ModelJul 2025
2024
- ESEC/FSE ’24When fuzzing meets llms: Challenges and opportunitiesIn Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, Jul 2024
- ICSE ’24Stop pulling my rug: Exposing rug pull risks in crypto token to investorsIn Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, Jul 2024
- S&P ’24Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient DelayIn 2024 IEEE Symposium on Security and Privacy (SP), Jul 2024
2023
- TOSEM ’24CLFuzz: Vulnerability detection of cryptographic algorithm implementation via semantic-aware fuzzingACM Transactions on Software Engineering and Methodology, Jul 2023
- NDSS ’23LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.In Proceedings of the 2023 Network and Distributed System Security Symposium, Jul 2023
- CCS ’23Phoenix: Detect and locate resilience issues in blockchain via context-sensitive chaosIn Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, Jul 2023
- S&P ’23Tyr: Finding consensus failure bugs in blockchain system with behaviour divergent modelIn 2023 IEEE Symposium on Security and Privacy (SP), Jul 2023
- TOSEM ’23Pied-piper: Revealing the backdoor threats in ethereum erc token contractsACM Transactions on Software Engineering and Methodology, Jul 2023
- TOSEM ’23Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent SynchronizationACM Transactions on Software Engineering and Methodology, Jul 2023
- TOIT ’23V-Gas: Generating high gas consumption inputs to avoid out-of-gas vulnerabilityACM Transactions on Internet Technology, Jul 2023
2021
- TSE ’21Pluto: Exposing vulnerabilities in inter-contract scenariosIEEE Transactions on Software Engineering, Jul 2021
- ESEC/FSE ’21Making smart contract development more secure and easierIn Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Jul 2021
- ISSTA ’21Scstudio: a secure and efficient integrated development environment for smart contractsIn Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2021
- ISSTA ’21Empirical evaluation of smart contract testing: What is the best choice?In Proceedings of the 30th ACM SIGSOFT international symposium on software testing and analysis, Jul 2021
- IPM ’21Security reinforcement for Ethereum virtual machineInformation Processing & Management, Jul 2021
- ICSE ’21Intelligen: Automatic driver synthesis for fuzz testingIn 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), Jul 2021
- ICST ’21Poster: Fuzz testing of quantum programIn 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), Jul 2021
2019
- ESEC/FSE ’19Evmfuzzer: detect evm vulnerabilities via fuzz testingIn Proceedings of the 2019 27th ACM joint meeting on european software engineering conference and symposium on the foundations of software engineering, Jul 2019
- SANER ’19EVM*: From offline detection to online reinforcement for Ethereum virtual machineIn 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), Jul 2019
- USENIX Security ’19EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse FuzzersIn 28th USENIX Security Symposium (USENIX Security 19), Aug 2019