1.3 ways how you can make your smart contract more secureblog | 2026-06-16 16:16 | hackenproof.com | Original ↗ | .md | #web3 | #smart-contract | #best-practices
2.How to: Smart Contracts Bug Huntingblog | 2026-06-16 16:09 | hackenproof.com | Original ↗ | .md | #bug-bounty | #web3 | #smart-contracts
3.How to install and use Foundry toolkit for smart contract auditingtool | 2026-06-11 10:14 | hackenproof.com | Original ↗ | .md | #web3 | #security-tools | #developer-tools
4.How to become a web3 bug bounty hunterblog | 2026-06-11 10:29 | hackenproof.com | Original ↗ | .md | #bug-bounty | #web3 | #ethereum
5.How to use Slither for auditing smart contractsblog | 2026-06-11 10:26 | hackenproof.com | Original ↗ | .md | #web3 | #security-tools | #static-analysis
6.Optimizing Gas Usage in Solidityblog | 2026-06-10 15:21 | hackenproof.com | Original ↗ | .md | #web3 | #ethereum | #solidity
7.A Beginner’s Guide to Solidity: Key Concepts and Practical Tipsresearch | 2026-06-08 14:01 | hackenproof.com | Original ↗ | .md | #web3 | #smart-contracts | #defi
8.5 Solidity Patterns That Pass Code Review But Fail in Productionresearch | 2026-06-08 13:40 | hackenproof.com | Original ↗ | .md | #web3 | #vulnerability-research | #smart-contracts
9.Mutation testing for the agentic erablog | 2026-04-01 11:00 | blog.trailofbits.com | Original ↗ | .md | #agentic-ai | #appsec | #open-source
10.Spotting issues in DeFi with dimensional analysisblog | 2026-03-24 11:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #defi
11.Level up your Solidity LLM tooling with Slither-MCPblog | 2025-11-15 12:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #mcp | #smart-contract
12.Compiler bug causes compiler bug: how a 12-year-old g++ bug took down Solidityblog | 2025-08-11 00:00 | osec.io | Original ↗ | .md | #cpp | #compiler | #solidity
13.Evaluating Solidity support in AI coding assistantsblog | 2024-11-19 14:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #smart-contracts | #machine-learning
14.Introducing invariant development as a serviceblog | 2023-10-05 12:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #fuzzing
15.Solidity compilers: memory safetyblog | 2023-07-28 00:00 | osec.io | Original ↗ | .md | #memory-safety | #compiler | #solidity
16.Ethereum Virtual Machine Internals – Part 2blog | 2023-05-25 00:00 | netspi.com | Original ↗ | .md | #smart-contracts | #blockchain | #ethereum
17.Codex (and GPT-4) can’t beat humans on smart contract auditsblog | 2023-03-22 11:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #web3 | #codex
18.Introduction to Smart Contract Security and Decentralized Web Applicationsresearch | 2022-07-07 00:00 | netspi.com | Original ↗ | .md | #web3 | #smart-contract | #application-security
19.Getting started with smart contract in Bug Bountyblog | 2022-04-05 14:12 | yeswehack.com | Original ↗ | .md | #bug-bounty | #web3 | #smart-contracts
20.Detecting MISO and Opyn’s msg.value reuse vulnerability with Slithervulnerability | 2021-12-16 18:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #defi
21.Solar: Context-free, interactive analysis for Solidityblog | 2021-04-02 04:52 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #research
22.A Year in the Life of a Compiler Fuzzing Campaignblog | 2021-03-23 15:00 | blog.trailofbits.com | Original ↗ | .md | #vulnerability-research | #fuzzing | #blockchain
23.Good idea, bad design: How the Diamond standard falls shortblog | 2020-10-30 17:19 | blog.trailofbits.com | Original ↗ | .md | #smart-contracts | #audit | #blockchain
24.Efficient audits with machine learning and Slither-similblog | 2020-10-23 11:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #web3 | #smart-contracts
25.Using Echidna to test a smart contract libraryblog | 2020-08-17 11:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #fuzzing
26.Contract verification made easierblog | 2020-07-12 19:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #formal-verification
27.Breaking the Solidity Compiler with a Fuzzerblog | 2020-06-05 11:50 | blog.trailofbits.com | Original ↗ | .md | #web3 | #vulnerability-research | #fuzzing
28.Bug Hunting with Cryticblog | 2020-05-15 11:50 | blog.trailofbits.com | Original ↗ | .md | #cloud | #web3 | #smart-contracts
29.An Echidna for all Seasonsblog | 2020-03-30 11:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #fuzzing
30.Slither – a Solidity static analysis frameworkblog | 2018-10-19 10:50 | blog.trailofbits.com | Original ↗ | .md | #open-source | #smart-contracts | #static-analysis