Not registered as user
Name:Ting Chen
Country:China
Affiliation:University of Electronic Science and Technology of China
Contributions
2024
ISSTA
- CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
- LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
- Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
- Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
ISSTA/ECOOP 2024-profile
View general profile
View general profile