W. K. Chan

WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection

2021 · 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)

Many popular blockchain platforms support smart contracts for building decentralized applications. However, the vulnerabilities within smart contracts have demonstrated to lead to serious financial loss to their end users. In particular, the smart contracts on …

A3Rank: Augmentation Alignment Analysis for Prioritizing Overconfident Failing Samples for Deep Learning Models

2024 · arXiv (Cornell University)

Sharpening deep learning models by training them with examples close to the decision boundary is a well-known best practice. Nonetheless, these models are still error-prone in producing predictions. In practice, the inference of the deep …