Ethereum

• Smart Contract Security: Reentrancy, Front-Running, and Verification with Certora and Foundry · 2023-09-15

  A rigorous treatment of smart contract vulnerabilities—reentrancy, integer overflow, front-running/sandwich attacks—and the modern verification toolkit including the Certora Prover and Foundry fuzzing framework.