Paper list

• 436 EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts Ethereum Smart Contracts
• 589 EOSAFE: Security Analysis of EOSIO Smart Contracts Smart Contracts
• 598 SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution Smart Contracts