Academic research paper, thesis synopsis, and formal methodology for MEV-aware batch auction DeFi liquidations.
