Tyr: Finding consensus failure bugs in blockchain system with behaviour divergent model Y Chen, F Ma, Y Zhou, Y Jiang, T Chen, J Sun 2023 IEEE Symposium on Security and Privacy (SP), 2517-2532, 2023 | 13 | 2023 |
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. F Ma, Y Chen, M Ren, Y Zhou, Y Jiang, T Chen, H Li, J Sun NDSS, 2023 | 8 | 2023 |
CLFuzz: Vulnerability detection of cryptographic algorithm implementation via semantic-aware fuzzing Y Zhou, F Ma, Y Chen, M Ren, Y Jiang ACM Transactions on Software Engineering and Methodology 33 (2), 1-28, 2023 | 4 | 2023 |
Stop pulling my rug: Exposing rug pull risks in crypto token to investors Y Zhou, J Sun, F Ma, Y Chen, Z Yan, Y Jiang Proceedings of the 46th International Conference on Software Engineering …, 2024 | 2 | 2024 |
Phoenix: Detect and locate resilience issues in blockchain via context-sensitive chaos F Ma, Y Chen, Y Zhou, J Sun, Z Su, Y Jiang, J Sun, H Li Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 2 | 2023 |
Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay Y Chen 2024 IEEE Symposium on Security and Privacy (SP), 109-109, 2024 | | 2024 |