PRECISE: Precision-Driven Discovery of Token-centric MEV
Token-centric maximal extractable value (tMEV) arises when token supply-control behavior interacts with exchanges whose pricing ignores particular balance updates. Existing analyses face state explosion, missing deep inter-transaction paths or producing false positives. PRECISE combines token-level static filtering, fo...