Search Tags
Search Filter
Active filters:
Tag: Formal verification
Year: 2025
2
Total
2
International Journal Articles
| Detail | Category | Owner | SortKey |
|---|---|---|---|
|
N. Songsom, J. Suaboot, W. Werapun, "Resolving the Token Loss Vulnerability in the Ethereum ERC-20 Standard," Blockchain: Research and Applications, 2 Jul 2025, pp.1-12 (In Press; ISSN:2096-7209; Scopus Q1-tier1). Tag: blockchain, ERC-20, Smart Contract, Formal verification |
International Journal Articles | JAKAPAN SUABOOT | 202507 |
|
N. Songsom, J. Suaboot, W. Werapun, "Resolving the Token Loss Vulnerability in the Ethereum ERC-20 Standard," Blockchain: Research and Applications, 2 Jul 2025, pp.1-12 (In Press; ISSN:2096-7209; Scopus Q1-tier1). Tag: blockchain, ERC-20, Smart Contract, Formal verification |
International Journal Articles | WARODOM WERAPUN | 202507 |