Dynamically Inferred Invariants Effectively Secure Smart Contracts Against Real-World Exploits
Dynamically inferred runtime invariants can effectively neutralize a majority of real-world smart contract exploits while maintaining low false positive rates.