Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts.

Zhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen

Browse the full ICSE paper archive.