Registered user since Sun 16 Jul 2017
Name:Yang Liu
Country:Singapore
Affiliation:Nanyang Technological University
Personal website: https://personal.ntu.edu.sg/yangliu
Research interests:Formal Methods, Software Engineering, Security
Contributions
2025
ASE
- MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding Algorithms
- A Large Scale Study of AI-based Binary Function Similarity Detection Techniques for Security Researchers and Practitioners
- Detecting Various DeFi Price Manipulations with LLM Reasoning
- Towards Generalizable Instruction Vulnerability Prediction via LLM-Enhanced Code Representation
- BinStruct: Binary Structure Recovery Combining Static Analysis and Semantics
- Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
- Have We Solved Access Control Vulnerability Detection in Smart Contracts? A Benchmark Study
- Learning from the Past: Real-World Exploit Migration for Smart Contract PoC Generation
- Envisioning Intelligent Requirements Engineering via Knowledge-Guided Multi-Agent Collaboration
- Demystifying OpenZeppelin's Own Vulnerabilities and Analyzing Their Propagation in Smart Contracts
- FaultSeeker: LLM-Empowered Framework for Blockchain Transaction Fault Localization
- PC Member in Research Papers within the Research Papers-track
Using general profile