Just notes on papers ive read - MEV, HFT, Crypto, Game theory, AMMs.

• Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
• An Automated Analyzer for Financial Security of Ethereum Smart Contracts

• What is meant by permission blockchains

• Front‐Running Scalping Strategies and Market Manipulation: Why Does High‐Frequency Trading Need Stricter Regulation? - Link it
• The High-Frequency Trading Arms Race: Frequent Batch Auctions as a Market Design Response

• Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges[Notes]
• Cost of Feudalism - MEV Talk by Tarun Chitra, Devcon Bogota[Notes]