TY  - RPRT
TI  - Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
AU  - Ray Iskander
PY  - 2026
UR  - https://arxiv.org/abs/2606.01794
ID  - 2606.01794
ER  -