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.
        
        Formalizing MEV: A New Theory for Blockchain Security Proofs
        
        
        
        
          
        
        
      
        
    
        
        This research establishes a rigorous, abstract model for Maximal Extractable Value, enabling provable security against economic attacks on decentralized protocols.
        
        Layered Blockchain Security: Classifying Cryptocurrency Attacks
        
        
        
        
          
        
        
      
        
    
        
        This research systematically categorizes blockchain attack vectors across five infrastructure layers, offering a foundational framework to understand and mitigate evolving cryptocurrency threats.
