UXLINK Exploiter Loses $48 Million to Sophisticated Phishing Attack
A malicious `increaseAllowance` signature allowed a phishing group to drain $48 million from a prior UXLINK exploiter, underscoring persistent social engineering risks.
Formal Methods Advance Blockchain Reliability and Security
This survey consolidates formal methods, providing a robust framework for verifying blockchain correctness, reliability, and security.
UXLINK Multi-Signature Wallet Compromised, $11.3 Million Drained, Tokens Minted
A `delegateCall` vulnerability in UXLINK's multi-signature wallet enabled unauthorized administrative control, leading to asset exfiltration and arbitrary token minting, underscoring critical smart contract design and access control failures.
UXLINK Multi-Signature Wallet Compromised, $11.3 Million Drained in Exploit
A critical `delegateCall` exploit in UXLINK's multi-signature wallet enabled unauthorized administrative control, leading to an $11.3M asset drain.
Absolute Commitments Enable Optimal MEV Extraction on Decentralized Exchanges
A novel attack leveraging absolute commitments allows adversaries to monopolize transaction fees, profoundly diminishing decentralized exchange utility.
Moby Options Protocol Suffers Private Key Compromise, Millions Lost
A compromised administrative private key enabled unauthorized contract upgrades, leading to significant asset drain and highlighting critical key management failures.
Formal MEV Theory Enables Provably Secure Blockchain Architectures
A rigorous MEV theory reframes blockchain economic attacks, enabling provably secure protocols and fostering equitable decentralized systems.
Cryptographic Analysis Fortifies Blockchain Security against Evolving Attacks
This research systematically categorizes blockchain vulnerabilities through a cryptographic lens, proposing layered defenses to secure decentralized systems against advanced threats.
Formalizing MEV: Rigorous Model Enables Provable Blockchain Security
A formal MEV theory, built on an abstract blockchain model, allows provable security against economic attacks, ensuring more robust decentralized systems.
