The spectrum of correctness

Ethereum Smart Contract Auditor’s 2023 Rewind

Non-trivial cases of the Inflation Attack

Security & Common Pitfalls Of Merkle Trees

Tips to master fuzzing

Stories from the Auditing Trenches (including lessons for devs, lessons from top DeFi protocols)

Docker-based Auditor’s Toolbox: Enhancing Web3 Security Through Integrated Tooling

In-Depth Exploration of Front-Running Protection

EthTrust Security Levels – building trust with standards

The Next Black Swan Event for Ethereum

The Symbolic Solidity Debugger

Run Account Abstraction-powered DevSecOps pipelines to build more secure contracts

Slither: a static analysis tool for Vyper and Solidity

Assist Smart Contract Auditing with Large Language Model

Test your tests: The do’s and don’ts of testing

Web2.5 Security: pentesting blockchain infrastructure, wallets, and custodial apps

Predicting the impact of Ethereum upgrades on all deployed contracts

Hardware pixie dust, or why your secure hardware implementation may not actually be secure

Finding and Understanding Miscompilation Bugs in the Solidity Compiler

Compiler Safety

Eliminating Smart Contract Testing Uncertainty with Mainnet data

GM

The Importance of Post-Mortem

The spectrum of correctness

Ethereum Protocol Vulnerabilities Unveiled