Alternatives and similar repositories for secureum-kontrol:

Users that are interested in secureum-kontrol are comparing it to the libraries listed below

• rappie / echidna-curve-reentrancy-hack
  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
  ☆28Updated 9 months ago
• 0xnirlin / Thirdweb-Exploit-POC
  Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.
  ☆17Updated last year
• HardlyCodeMan / audit_helper
  Boilerplate test creation and Foundry initialisation for solidity smart contract audits
  ☆20Updated 2 years ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 8 months ago
• GuardianAudits / DefenderAudits
  ☆21Updated last year
• StErMi / smartcontract-inspect
  Quickly open your favorite Web IDE to review the selected smart contract codebase
  ☆30Updated last year
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆33Updated last year
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• ahmedovv123 / audits
  ☆22Updated 2 years ago
• Certora / SecurityReports
  Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…
  ☆18Updated last week
• zeroknots / boilerplate.sol
  ☆15Updated 2 years ago
• cryptostaker2 / blockchain-security-audits
  A collection of my security audits
  ☆53Updated 2 months ago
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated 2 years ago
• kadenzipfel / audit-portfolio
  Publicly available audits and bug reports
  ☆16Updated last month
• 0xsomnus / secure-smart-contract-design-principles
  Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.
  ☆55Updated 3 years ago
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆17Updated this week
• cawfree / byth
  The behavioural indexer for Ethereum.
  ☆12Updated 10 months ago
• KikiCodingJourney / Public-Audits
  Contains every issue l have ever found, while doing public auditing.
  ☆30Updated 2 years ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• immunefi-team / The-Dark-Forest-EP0-POC
  ☆10Updated 2 years ago
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated 8 months ago
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆29Updated 3 months ago
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago
• statemindio / public-audits
  This repository holds public audits performed by the statemind team.
  ☆23Updated last month
• ConsenSysDiligence / napalm
  ☆46Updated last year
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• bbresearcher / ZK
  ☆18Updated 2 months ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated last year