Securing Ethereum Mempools Against Asymmetric Denial-of-Service Attacks with SAFERAD
This paper presents the first formal definitions of mempool security under asymmetric denial-of-service (DoS) attacks, and proposes a secure mempool design called SAFERAD that provably protects against both eviction-based and locking-based DoS attacks.